{"entities":{"Q4037386":{"pageid":6067104,"ns":120,"title":"Item:Q4037386","lastrevid":55250077,"modified":"2026-02-05T07:58:47Z","type":"item","id":"Q4037386","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177517"}},"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":"Q4037386$7D87E516-CF76-4860-9F98-414898BBA1EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72494dfb4c909cf7e2a185ff43be9ba64fa22d6d","datavalue":{"value":"0765.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037386$3AD676D5-95CA-4152-9EC2-2DD2381176F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f7d314801ecc286b81238bbe4e80a8f1d81b1c1","datavalue":{"value":{"entity-type":"item","numeric-id":4037110,"id":"Q4037110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037386$F1998C04-3C66-4CD3-88CF-D9292651844F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037386$D1E2C328-6107-418D-B603-049671D89059","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":"Q4037386$E68A19EA-E807-4EB2-9412-40A86A239351","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037386$14E5BC20-AD58-4494-94E6-758710D3D5F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"daf7a53139ef4ebfcc251d061b42b77518afc6a9","datavalue":{"value":"177517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037386$4413142F-F888-4FE2-9A08-096043DB4DED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e180da72f0cfa921f027832c180d07f7319c4a3","datavalue":{"value":"verification of finite-state programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037386$687ADEB9-2FAF-48CF-A2FF-FF8505321C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e86c3e5862876cb42701186f08223627abf846b","datavalue":{"value":"temporal logic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037386$523EB2BB-9959-4F86-8A39-1089F5983279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb5539cfd6362382de6fc99273cd0f13cb61cb78","datavalue":{"value":"proof system schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037386$1ADCE470-2DC4-4CCD-81DC-BD2547598113","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":"Q4037386$0AF0F522-BDCF-479B-A37D-79ACCBE4F6AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4619d27d4dec37f0f3c9c07ff065c408d361f8","datavalue":{"value":{"entity-type":"item","numeric-id":4037111,"id":"Q4037111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd15388cb0410ba165f2337d6163d1020077fc13","datavalue":{"value":{"amount":"+0.9147257804870604","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":"Q4037386$AEE101BA-3675-4490-931A-908435293980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff34c02a8377419aa6bc52038759eaf89019a2d6","datavalue":{"value":{"entity-type":"item","numeric-id":1203115,"id":"Q1203115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a734a13e0690bb8a974d0175ce801e5190a1d99b","datavalue":{"value":{"amount":"+0.9141855239868164","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":"Q4037386$CB13CFF2-A9F4-4883-A4AE-B320E4FCE434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94845cb0192c44f2f405da435c6139e86c20e67c","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f3e8a26168661ce44100e84bbf2c169b2a740a","datavalue":{"value":{"amount":"+0.7957398891448975","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":"Q4037386$E7E1B15B-3137-4C58-A1EA-EA603D740CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03365cca812058c65420ab8d3a92853d1b932e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3704886,"id":"Q3704886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2996ae82c60ba809b1d692cdc4dd35470c2ccba4","datavalue":{"value":{"amount":"+0.7787525653839111","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":"Q4037386$E5AC523B-19B0-41D2-B340-A73F91CBD7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8dc7ef38b66a1e6696bc169df20eba41035aab9","datavalue":{"value":{"entity-type":"item","numeric-id":1188590,"id":"Q1188590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b4f022582b70aa5088deaf3aaadee279836491","datavalue":{"value":{"amount":"+0.7721539735794067","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":"Q4037386$686CA746-A1D7-4C57-A9A6-5D2FDB1F73EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037386","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037386"}}}}}