{"entities":{"Q4249564":{"pageid":6279165,"ns":120,"title":"Item:Q4249564","lastrevid":46834653,"modified":"2025-12-25T16:48:31Z","type":"item","id":"Q4249564","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303062"}},"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":"Q4249564$016DCE95-7F3A-45F0-8D8E-C96CC15E4B72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64a8127b8f4ffe60005bbf333b8f5b5b15f7a80e","datavalue":{"value":"0928.93024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249564$B22CBB61-6C43-4ECF-AE33-8E0A43A6A36A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d604edbdec21d88f35e4a6e416134363ddfe3b58","datavalue":{"value":{"time":"+2000-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4249564$2B282893-A772-40DF-AA86-278B10290C8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249564$8C5C944A-A25A-469F-BDA7-DB2B742C5E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23edcff60045f5620fc248ccd723c192fb60f9ee","datavalue":{"value":"93B29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249564$196D4F14-6BD4-42B9-8ADD-4F5311CCBF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d1b767b6ea9dddfdca5e7a46c79a6fb78d7da3a2","datavalue":{"value":"53C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249564$84836764-224D-4C7E-97B2-B52F8DD9D891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd81b48b61c147628e59c918703c8204f48c9e78","datavalue":{"value":"58A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249564$A9C40FFC-FC4B-4858-AA79-3772A9B24930","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"481c9ac63a3eb3c8a38163cbf19b1443028a5324","datavalue":{"value":"1303062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249564$4E520F6F-8FDD-4C9F-9B9F-F6B16EDDCF2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"661d65b79a0e7bedcad0d957c333fd975a3f7af9","datavalue":{"value":"exterior differential systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249564$9AAAC582-071C-4D50-80EB-C37E85B9823B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"247aa58555c0f14c730eb6f0bf213573092dddc0","datavalue":{"value":"approximation verification method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249564$051ED51F-1EA8-4100-8B7A-45C158379976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249564$DC4C9842-224B-4401-A646-A2E3CA868FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d118cda181bda63340d61e105c97c7ec5e2e7153","datavalue":{"value":"foliations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249564$7A438EE7-A127-4CB7-B2DE-D632EA01CA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249564$8CB8ABB3-445F-4F2B-90FD-663434814FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc06ef439116a7911b4d5b8348b68e53ba84b5c6","datavalue":{"value":"symbolic execution theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249564$0C899C4A-87A5-4DB2-BC65-D092E7E9543B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c66a5969dcb2cfae1070b3fc4e5d335f2305996","datavalue":{"value":{"entity-type":"item","numeric-id":254619,"id":"Q254619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249564$7ACCAFFB-69DB-4544-BC79-0EFA1BBC292E","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":"Q4249564$4D1533EC-5591-4DDC-A539-0CFA606070A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d380b44a034f3f3ac31417d35fc4053c86bf1db","datavalue":{"value":{"entity-type":"item","numeric-id":4246819,"id":"Q4246819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b413fc5d07ea92d28a01503c5d4ea442709c3a58","datavalue":{"value":{"amount":"+0.8242148756980896","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":"Q4249564$F12503F5-A28B-41C6-8AC2-E2793216B9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16cf78114efcde97ad6f0ae2df230948c409c52f","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3486ccbcc42501830a73fe47bd141256b8e99c96","datavalue":{"value":{"amount":"+0.7868262529373169","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":"Q4249564$2E1D084B-5A9A-444E-B236-3D3154D6C258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f79007337952ead52fa1b9aa80ba1ec47e84e1f6","datavalue":{"value":{"entity-type":"item","numeric-id":1975237,"id":"Q1975237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3d5b813385560a5bcc89b8eedee04c3b4b3754","datavalue":{"value":{"amount":"+0.7618119716644287","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":"Q4249564$EAF4A2C3-BF06-4DD8-A46C-490DC73209AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae2eb84b4cfb7314749649915df4076e6ca010f","datavalue":{"value":{"entity-type":"item","numeric-id":4645189,"id":"Q4645189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d025b6976c4ade0368d4aa42643ddb4125f680","datavalue":{"value":{"amount":"+0.7528612017631531","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":"Q4249564$7E700FC0-D928-4880-B270-B1BCE756E1C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249564"}}}}}