{"entities":{"Q4037111":{"pageid":6066829,"ns":120,"title":"Item:Q4037111","lastrevid":55246597,"modified":"2026-02-05T06:59:23Z","type":"item","id":"Q4037111","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177256"}},"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":"Q4037111$7835BF5F-9139-47FF-8907-F8C7A28E66E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"153a881ebdb200fd3e01ac5652c07b07080ff534","datavalue":{"value":"0786.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037111$442971FC-DEF6-40D6-A4F7-635F12BCDFAC","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":"Q4037111$B9F65C09-028C-4166-8411-6F1B7D2714F4","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":"Q4037111$163BA855-45D6-4366-BF9B-58B513A9AF37","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":"Q4037111$0948D1F3-6160-4DDD-A605-F10C080AEF83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037111$84339553-2739-4DD7-B80F-057E6BD43325","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eed32888dea5e98fad74460e92afd6a11d809209","datavalue":{"value":"177256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037111$0A2AFAE5-F7E2-4620-A2DD-4FFF8A6D386B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e180da72f0cfa921f027832c180d07f7319c4a3","datavalue":{"value":"verification of finite-state programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037111$2E1FB6FC-CAF0-4536-9452-01B19A872C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e86c3e5862876cb42701186f08223627abf846b","datavalue":{"value":"temporal logic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037111$5055FFE7-8CF5-4763-90CB-CBE8B0046D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037111$0A468564-7A29-427B-832A-5F149DCE67EE","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":"Q4037111$8C41DCF8-972D-4399-AF4C-812C3B0C1CA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f416fab8a7371bf70e6cfc3b3e66dc9f3ad65fa","datavalue":{"value":{"entity-type":"item","numeric-id":4037386,"id":"Q4037386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","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":"Q4037111$3D05CB15-AFAB-4E4E-AAD2-7DAD7473023B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a637a3ec8530fd323624ddc6f2ba82d813d4aa6","datavalue":{"value":{"entity-type":"item","numeric-id":3546045,"id":"Q3546045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3651141c6d864d210fba90130ea7a6d2ce64643","datavalue":{"value":{"amount":"+0.89267915","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":"Q4037111$75AA4920-682D-4947-AEC5-DF87F512B823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd21a666951183fd88c38f3a196e0d9cb675a703","datavalue":{"value":{"entity-type":"item","numeric-id":5960651,"id":"Q5960651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1dcc0d25fe62e3e48f2dc990630936087ad7ff7","datavalue":{"value":{"amount":"+0.89198947","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":"Q4037111$B51A53B2-ED73-4101-A947-1B87A62BD64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9944e901d18d4a672c6246be80ef02f9f3cfbd","datavalue":{"value":{"entity-type":"item","numeric-id":2744196,"id":"Q2744196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2761f32bfbedda463322f6436ff80918e15e3824","datavalue":{"value":{"amount":"+0.8919894","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":"Q4037111$18E307CB-FCFA-4104-8851-8754545001DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88827f48bf6b91929654c43abc066842806d3b8b","datavalue":{"value":{"entity-type":"item","numeric-id":4270053,"id":"Q4270053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d306cd707a6934b67c3fa2ef79221df2d7360c","datavalue":{"value":{"amount":"+0.8916557","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":"Q4037111$E224E2D9-B173-443F-88AD-77AD15336708","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037111","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037111"}}}}}