{"entities":{"Q4037102":{"pageid":6066820,"ns":120,"title":"Item:Q4037102","lastrevid":55981729,"modified":"2026-02-23T09:03:00Z","type":"item","id":"Q4037102","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177250"}},"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":"Q4037102$CA4C0FBB-8726-4922-93F5-3261056037E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc5ab1308ede868c7f7f4c629c2c67bf2fbf70dc","datavalue":{"value":"0797.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037102$A3D3CDFF-5371-443D-8EBC-6B6EE9B7A343","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1f3a984beabc22332e769fad7e0cad02f7ca29d","datavalue":{"value":{"entity-type":"item","numeric-id":169677,"id":"Q169677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037102$B93231A7-3B2B-40F5-AD2B-19BB29326A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde96b44d9cad9ac40bb3f7dd714b330c99ed5d","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037102$18D5CA86-985F-4484-98DB-95383E0490CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4037102$C9093E56-B6DF-4924-9767-18234EABCC63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037102$CD62B269-49C7-4DFA-B2E2-28081AF3C7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037102$ADC8B630-FFA4-49B9-B844-8DD48B3ED094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e40b847cfa456e95c1c964a8cd9df72656b7c29","datavalue":{"value":"68U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037102$84482D6F-FFB3-48DD-BBFD-249522419380","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"370153e9e1a26f235219af96eb7c22902fd2b192","datavalue":{"value":"177250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037102$CB72B863-2B54-4C5E-9B3E-275E6BB1E009","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037102$299BF1F1-882F-4C54-95F3-A61FBD7D09BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037102$0A8322C6-8D0F-4667-9C84-A3F64FA329BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97259ce395c0ee2caa02cb33bd57001622916882","datavalue":{"value":"communicating finite state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037102$8E816B9E-0B5F-43A9-AD1D-33D1AEFD3EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35e5b74ea6b6ec937eabb783233d834c2c84b67d","datavalue":{"value":"reachability graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037102$85C17AD0-36AE-4B6C-BA50-BD0D65A7E751","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":"Q4037102$9E9178FE-F61D-40DE-9199-2392AAF550C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00857003ae3df520cc56a979cee68d6e832a1b8b","datavalue":{"value":{"entity-type":"item","numeric-id":2884533,"id":"Q2884533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e3ef7a0e3a30456ca5bfd4f8abcadc0d339901","datavalue":{"value":{"amount":"+0.9060277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037102$731A84A2-378E-43B4-890E-6A1D8BBE95E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c7095a58775e1f005a5893e26bedcddffee9feb","datavalue":{"value":{"entity-type":"item","numeric-id":1805482,"id":"Q1805482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc582de1c69584439854579aa16ab8b6c79c0040","datavalue":{"value":{"amount":"+0.8899265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037102$8AD0A662-AE17-4CC9-84F1-6C3C2D97ECD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68b46ac4d48111a136d261a1a8fa3a1bc722f251","datavalue":{"value":{"entity-type":"item","numeric-id":3476128,"id":"Q3476128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24bbfc63a1ec7b87bfeb3d46350421e41a32a4f","datavalue":{"value":{"amount":"+0.8856496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037102$3BD1F21A-E13A-4932-A1EA-9290B723794A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7028bb12cc8a7723e4fea44c6107a6d4be820c70","datavalue":{"value":{"entity-type":"item","numeric-id":4335417,"id":"Q4335417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aeba05537464c156bc561dc563ffb63792a7dbe","datavalue":{"value":{"amount":"+0.88329643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037102$91DC8BAC-C008-41B9-9573-67EFB4CBC679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c4a96dc6456a22c92c03bf8283eb88271c30318","datavalue":{"value":{"entity-type":"item","numeric-id":3341781,"id":"Q3341781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2acb51bf41aaab22cfb2ff11828b649a845d08","datavalue":{"value":{"amount":"+0.8819122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037102$998E0BFA-4768-4493-9F35-83C95BFF8DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81a4ecb394676f884aceaf3c50ca248e1698491","datavalue":{"value":{"entity-type":"item","numeric-id":1123551,"id":"Q1123551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d001263bc09d035cb12c97862bc63d6b2526739a","datavalue":{"value":{"amount":"+0.8818001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037102$C176A225-A80F-4BAD-B174-A54DE0EAA4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ca1b3809effd75f291175d98d5230403942f1a5","datavalue":{"value":{"entity-type":"item","numeric-id":4887240,"id":"Q4887240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3afbbb692fdcea76c1a6903dda1591ad960d1042","datavalue":{"value":{"amount":"+0.8799902","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037102$BC7B6B8E-5105-4378-A80F-7B34E30AF912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f5d4a4fffe6a216e1bfd2e83cc97b4c2a12eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1745940,"id":"Q1745940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9abaa01c809fe73e6664b5ed4594e6623d1172e","datavalue":{"value":{"amount":"+0.8755492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037102$B3A46844-5572-423C-B545-F2DD98638839","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037102","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037102"}}}}}