{"entities":{"Q2783115":{"pageid":2793853,"ns":120,"title":"Item:Q2783115","lastrevid":47771311,"modified":"2026-01-02T15:52:52Z","type":"item","id":"Q2783115","labels":{"en":{"language":"en","value":"Formal analysis and verification of Statemate designs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1729356"}},"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":"Q2783115$81CAE1FF-A597-42A9-836F-99C084D83122","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed3fc0d629d3f86e662d79b1dfff05f7b72254dc","datavalue":{"value":"0985.68614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2783115$A0BEA2BD-D785-4220-A5AC-BD97064A2E83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4a291cacb24c4627c9a43b96be61707403c252c","datavalue":{"value":{"entity-type":"item","numeric-id":1682290,"id":"Q1682290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2783115$47599147-B336-452F-AE8D-96D65CBC749B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcbdb18b8f9d60686ea68fcc5d8c76e0868dec3d","datavalue":{"value":{"entity-type":"item","numeric-id":209472,"id":"Q209472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2783115$A93009A4-0870-4318-87D5-244650CBF952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3dc1bc1efb78d6b4ff9b751afa0b3e3e7be48b6","datavalue":{"value":{"entity-type":"item","numeric-id":239135,"id":"Q239135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2783115$0F04EBCC-6781-43F7-B7CF-9AD16010CC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"631c95d6fe937505106ae7e08d72aa9fbd3956d2","datavalue":{"value":{"entity-type":"item","numeric-id":2754121,"id":"Q2754121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2783115$D1312421-60B4-4DA6-A60A-BFA46FAB4212","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31707e7a13da914b31b6dd6f84fd3adca471dd41","datavalue":{"value":{"time":"+2002-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2783115$1A631933-1AC9-4AE1-8567-9D3D677ABE6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2783115$0D6EF340-E264-4CA8-8519-2271C5E3A561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2783115$20F6F20A-FD9B-4932-A2EA-C08AAF81BD31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7da424b307c7474f05939025e205e00b5e81fbcf","datavalue":{"value":"1729356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2783115$6ADB3863-9F7F-46EE-BEC0-F284ACEDB4CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"490078fec906a1bf3837deb912a250cc0a91b314","datavalue":{"value":"statemate verification environment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2783115$F4F0C91E-12D4-4413-82F5-F68CE9C6380E","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":"Q2783115$A2124B1A-C3EE-46CB-A1FD-10998620CB59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e9eb4c45b6cc0afa5bc944be4ccfc2ae95c3f6d","datavalue":{"value":{"text":"Formal analysis and verification of Statemate designs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2783115$19330F45-F306-4C0B-AAF7-B076375CF214","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dc96ae5550afafcdab220aa842c51eae025031de","datavalue":{"value":{"entity-type":"item","numeric-id":6769519,"id":"Q6769519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2783115$94BAF538-EFA1-45DC-B428-49A6F26C5220","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feca7f6f6c2212e475be0ffaf59b794582bbf172","datavalue":{"value":{"entity-type":"item","numeric-id":4509910,"id":"Q4509910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aca180256cdbc819a30d0dd162a414203652184f","datavalue":{"value":{"amount":"+0.8158546686172485","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":"Q2783115$5AD3E6F7-95A7-4E79-91AD-B73978B8D450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b256fbd870bdd2a67f49eea121827cca963ef26","datavalue":{"value":{"entity-type":"item","numeric-id":4600381,"id":"Q4600381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aca180256cdbc819a30d0dd162a414203652184f","datavalue":{"value":{"amount":"+0.8158546686172485","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":"Q2783115$23361A0D-BE83-4647-B8E4-DD98B06CB1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b90dd49d47d2b1106f079cc87f2947ea1fadf07","datavalue":{"value":{"entity-type":"item","numeric-id":2754122,"id":"Q2754122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c4d593dbad5f98753a32355faf689280297e1d3","datavalue":{"value":{"amount":"+0.7955885529518127","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":"Q2783115$3ACD1D1F-2FD2-4A0C-BE55-1E6D936B1C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5eca6144a10b557846f357d55bdd6d978dbad52","datavalue":{"value":{"entity-type":"item","numeric-id":4934532,"id":"Q4934532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b7fb44bea5c6dc20ef38800f189fecf05c0f2d8","datavalue":{"value":{"amount":"+0.7894793748855591","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":"Q2783115$B0DE7FCD-7977-433E-A527-16EDFE8D7202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1224ca09ab0dedf29a3ded0f65f366d1febc995","datavalue":{"value":{"entity-type":"item","numeric-id":1578397,"id":"Q1578397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d86a1ac7e6bdec4ce3154f8b3ab805afdac54a","datavalue":{"value":{"amount":"+0.7894793152809143","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":"Q2783115$BFC0FB06-7FBC-4D1C-B873-D311FE607303","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2783115","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2783115"}}}}}