{"entities":{"Q4270055":{"pageid":6299656,"ns":120,"title":"Item:Q4270055","lastrevid":46820052,"modified":"2025-12-25T16:06:15Z","type":"item","id":"Q4270055","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1361121"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4270055$7B3A4B8F-97F2-4D63-B95D-6F89A64C4B60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9832932b8cf6f129db946242f98e48ff72e4197e","datavalue":{"value":"0934.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4270055$190E2314-D9D4-404B-B0CC-237D3DFD316B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4270055$F59E91AB-6A23-494A-A0AC-C3BA73CEAB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4270055$3677F4BC-2E96-4505-9BB0-20A453A658DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4270055$F51283F8-6036-4911-81EA-783F060D2E47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4602bfe2ce2cb25d86312a0cba8d02883ac98d9b","datavalue":{"value":{"time":"+2000-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4270055$5BB7068A-7373-480C-BD4E-A58124DF375E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4270055$F39F460A-4CCF-4BC5-A8DE-1D02C9AD7B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4270055$96D0485E-F4C6-48F6-8E6C-519E45B8B24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4270055$E4AB0E3B-ED8F-47FD-926E-B858BC4EE6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4270055$FB12FE0A-8AFE-411A-8581-9C2832060397","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32878a6421a784465baccb4c098b2f6c0411b6a6","datavalue":{"value":"1361121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4270055$48C52AEE-8CC9-4DFA-A9B8-7B59F4C32A45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4270055$4BDD5BFB-2BE7-4BF9-8A01-320AA242DF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a1be072302412fa6bf4a6f46e387ebc31de66a3","datavalue":{"value":"extension of continuous stochastic logic CSL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4270055$904F4296-3E70-4D53-996A-6A18511FFB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b45a00a073ba9db3a2afb3f803a226f136335bbe","datavalue":{"value":"symbolic model checking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4270055$F2102200-7856-408E-8B2B-F179CCF4A643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67b1e0024e7e32a8458eb21e73fec9565aa0dc32","datavalue":{"value":"continuous-time Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4270055$9F2733D6-44A6-4056-81B7-E08463627788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a07c23f5abc33d12c9862a35ffaad43996df153","datavalue":{"value":"system of linear equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4270055$004CAC40-3880-4CD9-9967-FEEE9CDBB41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03936e277022ce55b4110a0bc76d99e4d3a7a182","datavalue":{"value":"Volterra integral equation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4270055$F96B7518-3348-4FCB-B845-56CB5DED8A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c841dcd59d60038d4ced28b7da6380f9c5f7ac59","datavalue":{"value":"symbolic approximate method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4270055$8A801A73-8436-411B-B1EA-4432556B4C8C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4270055$E261EAD3-7AAA-49C8-8D88-50133F5E1AB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a431259e6fe161b6b274eee0965cf3a761ad10a","datavalue":{"value":{"entity-type":"item","numeric-id":4798030,"id":"Q4798030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19932ef9c7f6ef71c67878459031268159114c05","datavalue":{"value":{"amount":"+0.8761526346206665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4270055$F9DB712A-E453-451E-A7EE-4AE384BCFA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca06ef0616aba8c589d663ac369ff98348ff137","datavalue":{"value":{"entity-type":"item","numeric-id":1941693,"id":"Q1941693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e42c1d3350b6c791e5220b13bee6edff159ce1a","datavalue":{"value":{"amount":"+0.8571071028709412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4270055$A07A43C2-D679-4A88-9D47-9FF53760EEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a51f29986657fdec4d6fec4fa14c2f96412eec7b","datavalue":{"value":{"entity-type":"item","numeric-id":2402369,"id":"Q2402369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1640ca43fba32e8ea6fd03587d4de566d8e2bb3","datavalue":{"value":{"amount":"+0.8547669053077698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4270055$606EF748-49CD-4A2B-B0F9-06260F708640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e86c268dc1acaf66e0136a2fe8d43f16d7d0ea7","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7feb16ad4e3acef5c6518a6c7ef3e0fe6122c083","datavalue":{"value":{"amount":"+0.8487570285797119","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4270055$BA2D3C74-D9DF-4DA6-A2CB-8F1F7440D054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f078e5671c54261f174124922a77889ae72225","datavalue":{"value":{"entity-type":"item","numeric-id":3012926,"id":"Q3012926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3fe1b99715c946c714dfdff520484403b1cddcd","datavalue":{"value":{"amount":"+0.836562991142273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4270055$0A7E0859-D824-4833-B90D-984B94740243","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4270055","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4270055"}}}}}