{"entities":{"Q1040418":{"pageid":1042266,"ns":120,"title":"Item:Q1040418","lastrevid":50832242,"modified":"2026-01-15T08:22:12Z","type":"item","id":"Q1040418","labels":{"en":{"language":"en","value":"Formal methods for analysis of discrete systems using a specification language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5637633"}},"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":"Q1040418$230C3D78-F5D3-4911-AF92-55E94BBCC71A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a98d73bd96c822442f9df2af5cb1c8b6ca13bd8","datavalue":{"value":{"text":"Formal methods for analysis of discrete systems using a specification language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1040418$2F93043E-A0D4-49C1-8794-D3FCD1A873E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca17843ee14f9d08396db42fc0136730c294e699","datavalue":{"value":"1185.68448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040418$84BEB2C7-799A-4587-AF54-26340372DA11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"120e3e50e701634c5f67d1b809f1b56410aed24e","datavalue":{"value":{"entity-type":"item","numeric-id":269157,"id":"Q269157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040418$1195252C-5E9A-47B7-9967-BE57EA96B70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"472231eb0381fdba3fcc437e231d53bc7edde3c9","datavalue":{"value":{"entity-type":"item","numeric-id":1040417,"id":"Q1040417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040418$41182D82-C2A7-4662-B075-9E181C764CD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040418$EB1283CF-2AD5-420F-A26D-21B1CA9138FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7802724d6393d9480215271c847488d3a99586","datavalue":{"value":{"time":"+2009-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1040418$F6C637C2-1F38-46E0-8BD1-B1CF43074304","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040418$24C6A2EF-5E1C-4341-9EC1-DA6CAC0765C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"293220148eefe27f9b2ad6163b7fe9a4baec797f","datavalue":{"value":"5637633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040418$32C349C0-286E-498B-AD6D-291EC2DB2173","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040418$E34896AA-09FB-4B12-AE35-AD7DE1009FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3672ca782fb7569580b54a9f2a38e6772a8111ce","datavalue":{"value":"MSC","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040418$A5FB3C23-43E5-4B0B-8931-7ADB2D0C1278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040418$55E6EE6C-45FA-40F1-9478-44FFBFEAAC8E","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":"Q1040418$11D96127-3002-479E-A407-272C141A0BC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e630d1075f39ee442b98f03d055f4b967346e8d","datavalue":{"value":"https://doi.org/10.1007/s10559-009-9121-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1040418$BD96337C-83D3-4C12-A0E7-411E4AAF52F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b44fc00b2195027beb4f828b23e0533f2bb7bf7c","datavalue":{"value":"W2014717803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040418$A449D11B-968E-4BD5-8C08-420924D1D480","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ef5e96aae7ccc9479b8ec66dbbd1e4d1e1914e1","datavalue":{"value":{"entity-type":"item","numeric-id":5472939,"id":"Q5472939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040418$4F30A800-FBB7-4E7E-AA04-26FEF2A08C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7f94b9d4b3bbbb45a7f98244f25d36e58c9722","datavalue":{"value":{"entity-type":"item","numeric-id":5422288,"id":"Q5422288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040418$85C1C949-5658-46A0-A365-6E4AB6EDCE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38c095342c4a781a2df89c81119903cbcc86aa4a","datavalue":{"value":{"entity-type":"item","numeric-id":2371668,"id":"Q2371668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040418$4679BD20-322E-4C7D-A24E-BAFD39E2E996","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa5d7c0e6b61a371a7162f7e6b0cced3b9b4fe47","datavalue":{"value":"10.1007/S10559-009-9121-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040418$3448CC2F-06EC-46DD-8969-CC991EA71196","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"238341500bfa9401af606f75f425d8190e24a9ce","datavalue":{"value":{"entity-type":"item","numeric-id":2654994,"id":"Q2654994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2187e7719287a703dd2d2451bea0e8184001d1c","datavalue":{"value":{"amount":"+0.8222290873527527","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":"Q1040418$F15CA103-1B66-4AFC-ABB5-1B015C59515D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599ee9c57ed0947f51d0323412fb81903d9e6161","datavalue":{"value":{"entity-type":"item","numeric-id":5472939,"id":"Q5472939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89bf5f48141ca6e9ab7dceffcf6dea4d8819cd7c","datavalue":{"value":{"amount":"+0.809439480304718","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":"Q1040418$C85AD5FE-5245-43E5-88C6-0370ECED97C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786321804a8f2ceccc49211557417fba114140d4","datavalue":{"value":{"entity-type":"item","numeric-id":5422288,"id":"Q5422288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d8357ff0315b09741dfab3db0fbec7c22795e6","datavalue":{"value":{"amount":"+0.7968197464942932","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":"Q1040418$E212BD18-9C5E-44AA-BF29-3606B7D7BE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0499a9d9cf00421c23772271ce21879a85024e43","datavalue":{"value":{"entity-type":"item","numeric-id":4508929,"id":"Q4508929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb434bae2ef7216af0913f16c524b9fde945a88","datavalue":{"value":{"amount":"+0.753643810749054","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":"Q1040418$6B1CE7DB-4A23-488C-82B9-0AEBDC0D25AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"220fd759cac38ad94ad63746ea5b976f1d054719","datavalue":{"value":{"entity-type":"item","numeric-id":4907862,"id":"Q4907862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7818e3e0a5727eb96f2a4d1f258a95334b1d71eb","datavalue":{"value":{"amount":"+0.7489451766014099","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":"Q1040418$AD578F9A-6DB0-4586-9C0F-9D1C62487786","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1040418","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1040418"}}}}}