{"entities":{"Q4895547":{"pageid":6925126,"ns":120,"title":"Item:Q4895547","lastrevid":46398282,"modified":"2025-12-24T17:10:54Z","type":"item","id":"Q4895547","labels":{"en":{"language":"en","value":"Buy one, get one free!!!"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 935190"}},"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":"Q4895547$2880784A-ABF4-4B3A-8717-72C467920DB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ab82ab3b4c3cadbe246ca5c15aeb1c62c06c152","datavalue":{"value":{"text":"Buy one, get one free!!!","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4895547$DFD5DB83-0C03-4FD5-82E4-5CF68B3BBE62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9543b3b1f4222331f9bfbf3c5e0df3adf3f9e66a","datavalue":{"value":"0857.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895547$B819E62F-DBD0-41BF-88DA-95C261300CEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895547$DBBBABB9-4558-4A21-9F14-424C8FCF29D0","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":"Q4895547$847CEFA3-2A94-4A2B-B911-19F55F3DDA8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a668d02226194776ec9ee0be917172cf21ef57fa","datavalue":{"value":{"time":"+1996-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4895547$1D74E617-04B9-456D-9990-412120E41EF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895547$88B41237-C9E8-4497-9F8F-8BF9432F1F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895547$00FF11EF-C38F-457F-95ED-0DD992446505","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5df067c1e225a16ce111159d4044f5775870f28b","datavalue":{"value":"935190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895547$A0172F7C-83A7-4AA1-91D9-E8E9CEDEDE03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27fe14a8cfeb9ac56de2bccfef8cf6b2b7e8b2ce","datavalue":{"value":"branching time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895547$D39DC6A5-C9FB-4FD0-903B-84ABA532C348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895547$B7E26DF5-5D3F-4C25-B945-CF051F151EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"284d49bede33bc43198f9780c2fcc998d14125e1","datavalue":{"value":"temporal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895547$C58DE860-08F4-49B9-995A-E0C013B2FC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d04ceabab936feea678c86b138368618e61578c3","datavalue":{"value":"linear-time model-checking procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895547$61095902-8836-4DE7-88E7-3C330F8434D2","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":"Q4895547$11819EF8-5628-48B6-A0C5-4ABCF7750B72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b53f8d2ecb570fbc7af2cc72dc6a432e6b0a9bb5","datavalue":{"value":"https://doi.org/10.1093/logcom/6.4.523","type":"string"},"datatype":"url"},"type":"statement","id":"Q4895547$7DBFC891-9310-4780-84A8-988EE222B1D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"626100bc03c7d1a8e6bfe2121de3dad5ac1a4956","datavalue":{"value":"W1969404042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895547$6ABF7E46-2E98-442F-B327-611E18AAF719","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb451ab748e22eb37e4d946851fac0b19a1e2e95","datavalue":{"value":"10.1093/LOGCOM/6.4.523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895547$1456EA50-0CFA-4680-9311-6B42FD492942","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895547$8A581E13-84AC-46CA-B103-07EA3E1C3E18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ad8be2e25bf5f769312def07652d80cf3933fd","datavalue":{"value":{"entity-type":"item","numeric-id":4518425,"id":"Q4518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de4500aa4152539411fd1b90a5fa0c344984f68","datavalue":{"value":{"amount":"+0.8595145344734192","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":"Q4895547$60677ED0-0439-475A-B7E6-8B55E3AE294D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b01c80268aee810072055b12089515babfd57c7","datavalue":{"value":{"entity-type":"item","numeric-id":4733384,"id":"Q4733384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e0f2a83fa5026083211681f0ba54b3c4d389a6","datavalue":{"value":{"amount":"+0.8181645274162292","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":"Q4895547$218AD3D8-F568-4E5B-8A91-674AC55A55DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74105f259880d37fdb12b27872bb00d3e0cf9b5b","datavalue":{"value":{"amount":"+0.8123083710670471","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":"Q4895547$056E8E63-8AB0-4BE0-81B2-F1C7ED3F2E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab2639d120a41e9afde30746a5386c4f8af2b45","datavalue":{"value":{"entity-type":"item","numeric-id":4037390,"id":"Q4037390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560961162c19f328f7e2070de8d8dfac241cc541","datavalue":{"value":{"amount":"+0.8083929419517517","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":"Q4895547$59EA515F-B671-44D2-97E0-359D2B7CCF1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4895547","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4895547"}}}}}