{"entities":{"Q5492987":{"pageid":7522547,"ns":120,"title":"Item:Q5492987","lastrevid":49947475,"modified":"2026-01-12T05:57:02Z","type":"item","id":"Q5492987","labels":{"en":{"language":"en","value":"Formal Methods in Computer-Aided Design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065508"}},"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":"Q5492987$FD0247F3-0BF7-49DC-9941-6EB6B8219FF1","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":"Q5492987$F4CA962B-1D2E-4C6B-AF26-F435C5C89422","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73fecca90e0d5c28ba0a8dc052e2572b090aa84f","datavalue":{"value":"1117.68434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492987$9EDDCDE4-01EE-4119-B277-2FAC75D0503B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e50689c00dd8647c6e48cebd2ad125446c60516","datavalue":{"value":{"entity-type":"item","numeric-id":5274430,"id":"Q5274430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492987$4B593316-EEE6-4F84-92EE-9A16ADB99A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"618dff94aec38f24478b8597ebb886639eab98cb","datavalue":{"value":{"entity-type":"item","numeric-id":436416,"id":"Q436416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492987$A62FC33D-73F7-417B-A5F5-E6A64049E5A9","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":"Q5492987$7AAE9007-D3F4-46BD-8AB9-5CAF391CCE62","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":"Q5492987$62BAF6AF-9D37-47EC-8F20-6A369E01D192","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492987$54BA1AAE-B90F-4011-9E83-D82D75C05867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ba0db88ec1d9208c9b2d78c4b1e523872c7ec39","datavalue":{"value":"68U07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492987$A43C68D5-54D3-4C14-9E27-744EC1B89479","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"502d8b72eba71f5cd96ae64478995c4ad9db4ff3","datavalue":{"value":"5065508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492987$AA2BD3B4-7111-4873-B350-6E5B08EE04BA","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":"Q5492987$881A4FBE-2764-4191-B0D7-058E3F11D21D","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":"Q5492987$B69FDB56-0D6D-4398-8812-F045B2466ACF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"541267cf8ad04357cd91ba63896e7b9b0796c6e2","datavalue":{"value":"W4229585471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492987$8369977D-44A4-417F-A9AD-8988E7947517","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ddf10ec47407bad7b4f0a200cbaf29899b0fcd7","datavalue":{"value":"10.1007/B102264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492987$EA0DCA71-D4A5-43E3-875E-1D99D34357EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec361d9983620409f2c9224734ce84fd5b9897ee","datavalue":{"value":{"entity-type":"item","numeric-id":2281650,"id":"Q2281650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e02bdef29e8752f33f27d42ac0c3c44f7811c4","datavalue":{"value":{"amount":"+0.7670779228210449","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":"Q5492987$EC4EEDDA-CBE8-4C11-87E8-A7F7BB8FE27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86491e6497828e985ef591c415f2fc722fd825dd","datavalue":{"value":{"entity-type":"item","numeric-id":4255564,"id":"Q4255564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50faf54f68c10cf031c6501faed6fc7383912b9e","datavalue":{"value":{"amount":"+0.7588123083114624","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":"Q5492987$80FD3AD9-6359-4EF0-B156-93C4C2D11292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"032fda47f920a23a5bd24d18b53f68f5ff955ffa","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87561db11ba95f8706e4b6df4a54b4bde7eb4866","datavalue":{"value":{"amount":"+0.7347091436386108","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":"Q5492987$6EC235B3-0486-4234-8689-BF1833CD9127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb0b45420a782cfca10d5db6664d68f476b4d41","datavalue":{"value":{"entity-type":"item","numeric-id":1856178,"id":"Q1856178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b23eb79707c2d82da713ef9fb99588a1b218d9","datavalue":{"value":{"amount":"+0.7341928482055664","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":"Q5492987$F23B9604-B4EB-49F9-A381-B1BA374ED925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c24215a3cc7420bac5e5bc8f419805a9e61b60d9","datavalue":{"value":{"amount":"+0.7327353954315186","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":"Q5492987$3D73FC22-9C55-41E3-A05D-955B8955B2AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5492987","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5492987"}}}}}