{"entities":{"Q5900673":{"pageid":8006796,"ns":120,"title":"Item:Q5900673","lastrevid":50958452,"modified":"2026-01-15T22:40:39Z","type":"item","id":"Q5900673","labels":{"en":{"language":"en","value":"Dense counter machines and verification problems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695352"}},"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":"Q5900673$14ABDF90-43BB-4DBC-B74D-5EF37E07027A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bd069b212797cd1b716ecedbde3c2b856d1f40","datavalue":{"value":{"text":"Computer Aided Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900673$8C33F4F3-E1F8-48AA-A528-0EB617FFB187","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2101f0564fa62f71120642c2dd4399c0ae96251f","datavalue":{"value":"1278.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900673$CDDE637D-F0D1-4C0B-986E-CCE765028DE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e36e98bf8e9dc91cedca3b3bd25caedbc19e9656","datavalue":{"value":{"entity-type":"item","numeric-id":703514,"id":"Q703514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900673$0E9AE481-053A-4318-A5C8-6C54D71B4890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77e44c9d54d0cfc71832e715dc19584237ba4067","datavalue":{"value":{"entity-type":"item","numeric-id":243822,"id":"Q243822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900673$BB75B29D-84B5-4434-8108-06BD7CF58E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0ccf6eb6c37793d5bd821ffa019f577d6c7be3b","datavalue":{"value":{"entity-type":"item","numeric-id":243823,"id":"Q243823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900673$79483E84-7A0D-4171-A749-D52E71D4FECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"856e553426bf2fdacc265aabae14211fd962289f","datavalue":{"value":{"entity-type":"item","numeric-id":262136,"id":"Q262136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900673$3C35F628-402B-4F96-8163-2F72C7AA2337","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900673$D8A8A74C-E111-4522-BF39-13AD799BF35C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900673$531D9669-DA83-4B80-97C6-EF35688EB2B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900673$24ACCB00-B716-4382-96FA-8ADD89CE09B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900673$77F5D0DB-5A9F-46B2-BE84-DDA7492C10E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ff52bd3baa7bea87cb58c3cc002246e30ba883e","datavalue":{"value":"5695352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900673$CD4F1C4C-9663-4941-A807-4332C4293D22","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":"Q5900673$18F056F4-D6E7-4C3A-B0C5-330FD9C32B57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"050caeb9facfc2b37142c301b40d1dfd9dbf1be9","datavalue":{"value":"https://doi.org/10.1007/b11831","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900673$7996139D-715B-4D6F-8CD3-6A8E85DA4610","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9b9df0d9ff4e5d8e3d66da51426dae32b7ea5b","datavalue":{"value":"W1571340194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900673$6B74CCF2-FAA2-433E-9B36-428912A978CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc3be280ea47ce2c61f3b7e2b376b1d1ce60a5c","datavalue":{"value":"10.1007/B11831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900673$9C7C77E4-A8A8-4381-A506-D85A0D6B2E7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5f0e3965ab2ae6cabdd35fe265b6a0fb94e7874","datavalue":{"value":{"entity-type":"item","numeric-id":2015129,"id":"Q2015129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea073636f0b1d0c89261f7033efcc14db755a275","datavalue":{"value":{"amount":"+0.8345839977264404","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":"Q5900673$2CE48F5E-25BD-4C3E-9D99-F69D9A5C5171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1464507be0290ee94b6d3e2229f096b056d3e07f","datavalue":{"value":{"entity-type":"item","numeric-id":1853523,"id":"Q1853523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c76a20a0907dcf5d25a99772bc89fabe0f6ab0","datavalue":{"value":{"amount":"+0.7996083498001099","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":"Q5900673$1709B0C3-E8AD-486C-A72A-BECA0DD3F63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03623fda6cd17a56f45755a08323e72f6f063f2","datavalue":{"value":{"entity-type":"item","numeric-id":4536378,"id":"Q4536378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a645ec8a3a6c6522ecbd880f5face338b71529f","datavalue":{"value":{"amount":"+0.7911182641983032","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":"Q5900673$F2204EE3-90A2-4CA7-88AA-3C9EC488939E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c92121520e08fb0e1bd8d57e3ccab6e8ed2d9c","datavalue":{"value":{"entity-type":"item","numeric-id":5891236,"id":"Q5891236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f6abbfdee56b0a0c01aeab315b099f25c68baa","datavalue":{"value":{"amount":"+0.7664222121238708","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":"Q5900673$428894A6-DC92-4FE5-9706-397956407532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d4ee0935c407b6eec3c7889c192f3f0348a3fb4","datavalue":{"value":{"entity-type":"item","numeric-id":5891189,"id":"Q5891189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"574669454e52d37e3a6c5d6e8d218be1332bddf2","datavalue":{"value":{"amount":"+0.7648404836654663","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":"Q5900673$AC30175E-001C-4B62-B2AA-8D9F0522B0BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900673"}}}}}