{"entities":{"Q5492997":{"pageid":7522557,"ns":120,"title":"Item:Q5492997","lastrevid":49947499,"modified":"2026-01-12T05:57:03Z","type":"item","id":"Q5492997","labels":{"en":{"language":"en","value":"Formal Methods in Computer-Aided Design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065516"}},"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":"Q5492997$ECF12EC9-9587-40C3-8888-7C02DA308CBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e2a2e92ce19499faa39ac8a769f21f01ebf8f67","datavalue":{"value":{"text":"Formal Methods in Computer-Aided Design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5492997$FA016F1C-B9BA-40CC-AEF9-36969DAC28AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56478f6c6205793d262436155de9df3b3b5098d0","datavalue":{"value":"1117.68437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492997$A4BDA552-129C-4497-8F74-1BE14825242B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72ad52044ca3478d78ff9d0e600857630ea16c62","datavalue":{"value":{"entity-type":"item","numeric-id":3404125,"id":"Q3404125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492997$E6D3E710-0EA3-40D6-9DDD-A1F2DFF6269B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6010c23d0128fd536a6c9ea75894ef91f99c4118","datavalue":{"value":{"entity-type":"item","numeric-id":5492996,"id":"Q5492996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492997$5E6E81BE-768B-40AB-BC7E-CE5CFEDDD57A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492997$33FB0A8B-C874-477F-9D5D-EE48C0D227AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04d8047ef91e7ccd7af1b39494c1aad77dacfac1","datavalue":{"value":{"time":"+2006-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5492997$A527A33E-7BE3-4876-A746-5E25BBB73D4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492997$F2B346D8-49E9-4532-8346-EA81B64BFA7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a26a7e566cb06a596b98d9d4ca216f11bf50f503","datavalue":{"value":"5065516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492997$62347110-4E60-49B8-B2DD-ABD9CF8ED6E0","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":"Q5492997$36AD57B0-5450-4321-8CEE-F17F24855EC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0aea322dceddd18be57cc0b8c5ff74539b05d2f8","datavalue":{"value":"https://doi.org/10.1007/b102264","type":"string"},"datatype":"url"},"type":"statement","id":"Q5492997$146403EF-32C9-4774-B1EE-C3E8BFD275F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"541267cf8ad04357cd91ba63896e7b9b0796c6e2","datavalue":{"value":"W4229585471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492997$EA78C897-3199-4E43-9AAE-6B1779CE1EC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ddf10ec47407bad7b4f0a200cbaf29899b0fcd7","datavalue":{"value":"10.1007/B102264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492997$BBA6889C-DF49-47A8-950A-B2609E6847BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedea5008739a3c8b9e144e9b4550205bbb5b261","datavalue":{"value":{"entity-type":"item","numeric-id":4804917,"id":"Q4804917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc1894c65eb0a81dbe3d201425336041b54f6d7","datavalue":{"value":{"amount":"+0.7841500043869019","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":"Q5492997$5E823A59-605F-4493-9BEE-DB76B06EEBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4bfe3ecce22466b95040b9e0a3b6c8b5439f20f","datavalue":{"value":{"entity-type":"item","numeric-id":2754101,"id":"Q2754101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc1894c65eb0a81dbe3d201425336041b54f6d7","datavalue":{"value":{"amount":"+0.7841500043869019","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":"Q5492997$CD57A5B5-194C-4721-B0E8-CD928B444471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f5ba4dc5a77f32e974343761f006b7bd47c20a","datavalue":{"value":{"entity-type":"item","numeric-id":4427906,"id":"Q4427906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97919aac8fc784a7173c50152966d7a0155223dd","datavalue":{"value":{"amount":"+0.7446081042289734","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":"Q5492997$462F30B8-D9D8-4524-AB77-40537C2EDC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28400035209409afedf35168c280d422ea6c8200","datavalue":{"value":{"entity-type":"item","numeric-id":2849593,"id":"Q2849593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0fef95a79629e6b8ad1405ed7e0e932435b4b6","datavalue":{"value":{"amount":"+0.718050479888916","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":"Q5492997$1B343B47-3E98-4D56-B76A-03ABDF98A2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d563e347a1a1677b120384d0f8b03924fce87ea0","datavalue":{"value":{"entity-type":"item","numeric-id":5493218,"id":"Q5493218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c5b207776320c28b77349471bf1b809013f19c","datavalue":{"value":{"amount":"+0.7082259058952332","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":"Q5492997$0762C2D7-4250-4C60-A580-6CB765C6F356","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5492997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5492997"}}}}}