{"entities":{"Q4494393":{"pageid":6523986,"ns":120,"title":"Item:Q4494393","lastrevid":47018682,"modified":"2025-12-26T01:39:04Z","type":"item","id":"Q4494393","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1487865"}},"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":"Q4494393$27E45EEE-BC56-4350-B3B2-81444A68DB69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ae78afd8ce11b132e5bbe4cfac33f2835371984","datavalue":{"value":"0949.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4494393$9DC80399-8CA9-4A93-8C73-4082D6B3C2D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"237d87c04fa3d73f3e981bbff1f8797019aa6e79","datavalue":{"value":{"entity-type":"item","numeric-id":1309242,"id":"Q1309242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4494393$D37183D2-80BB-42B9-8527-DAFD4905AD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a7b4fb323e1fe4c573f160743f3a9645c3015a2","datavalue":{"value":{"entity-type":"item","numeric-id":4494392,"id":"Q4494392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4494393$5D195CE2-FF03-4D4C-BEB2-A35378053B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e88fa5b35dd907e817d6aba4af46a1dfc0b4f6ec","datavalue":{"value":{"entity-type":"item","numeric-id":1695877,"id":"Q1695877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4494393$EEA4FD65-239B-481B-A842-166D65DF1372","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5292801f0dd79298539819e0a4ac0e822803e06","datavalue":{"value":{"time":"+2000-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4494393$C2CA0A75-DD0B-4D44-B585-45C206A108C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4494393$F2704D1B-95F3-4E9F-947F-F161E54B370F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4494393$72BF3006-8D2F-43EC-8C39-0CD752FE74E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4494393$6F0BFAAE-8796-4B76-9AC1-5B7EFC7C95E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f4b36ac60b6f924c52464b8c71ac7837224537b","datavalue":{"value":"1487865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4494393$FD4FE586-C558-4937-940C-E342B0BDD65A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4494393$856F39D3-FE8D-47E2-B01B-84840D8C29C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d53c527916ee37cb24e7302d14282f345b358fe","datavalue":{"value":"trajectory evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4494393$7679A981-7735-4F4F-B430-A6321B266A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fc1b95ef59246f606d504160f57ee48fb71d62","datavalue":{"value":"model-checking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4494393$6AAB9AA8-7478-4EEE-ABDD-8328765840C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4494393$DEF5494E-0EA3-4ADF-990C-E9ED680EB2CE","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":"Q4494393$ADEDF711-46DB-4DC5-AF41-BFEFFFA38E36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e829a9cb3ac79d1e0677ff881a4ef71fb2d5269","datavalue":{"value":{"entity-type":"item","numeric-id":4817544,"id":"Q4817544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"541ca031c2f1554b4e285d2dd27c38c2df1e1a6a","datavalue":{"value":{"amount":"+0.7367128729820251","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":"Q4494393$33BC7091-D6CB-42EE-A2E9-B63E6941AF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3167cd4cfd397a2a8e68118a29816a1a96753ed5","datavalue":{"value":{"entity-type":"item","numeric-id":3434722,"id":"Q3434722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc1e2082816cbdd45c3cef8b6a0ed2d63c5aa797","datavalue":{"value":{"amount":"+0.723918616771698","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":"Q4494393$DBB6B584-584A-4F07-A934-9678FE5B66D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4407264dcf973a7a6165955b28c3e3cb06763b","datavalue":{"value":{"entity-type":"item","numeric-id":3176383,"id":"Q3176383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b87be3f8c7d3bddee0308105c79b47471265a3ec","datavalue":{"value":{"amount":"+0.7196539044380188","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":"Q4494393$31286E8A-6455-47A0-BD18-4F1269C12730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0578f98c1fd787d8d23311c5250eeb3a8abdc4f2","datavalue":{"value":{"entity-type":"item","numeric-id":541222,"id":"Q541222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af1d725de497f6187aea33fbd8eb15a8b80cc10","datavalue":{"value":{"amount":"+0.7134102582931519","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":"Q4494393$8FCF31E4-7424-4E8B-914F-86428BFCDF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b150fa6e2849a0ef1c68604407736315acb87e2","datavalue":{"value":{"entity-type":"item","numeric-id":3559766,"id":"Q3559766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad2d0a2f55af3ee920729f3a75883afd84a1bd8","datavalue":{"value":{"amount":"+0.7006503939628601","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":"Q4494393$7DD4CA7B-1DFD-49EE-B5F0-CEF094AF0C25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4494393","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4494393"}}}}}