{"entities":{"Q4882494":{"pageid":6912073,"ns":120,"title":"Item:Q4882494","lastrevid":46379643,"modified":"2025-12-24T16:22:54Z","type":"item","id":"Q4882494","labels":{"en":{"language":"en","value":"Non-strict don't care algebras and specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 890016"}},"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":"Q4882494$45245F22-7B2F-47B6-87BC-9A45511723DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5fcbec3293c9405a72251e8774ff7de2a09317c","datavalue":{"value":{"text":"Non-strict don't care algebras and specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4882494$885AD095-F631-4201-BE51-2FBCB6FE30F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81a76bb4072672563d3adc79333e837bacf375aa","datavalue":{"value":"0846.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882494$B70AAEAF-06A8-4102-9670-0B24C0CD1DF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54fc0da8235a893d6829c935fa59ac9abe38c2a0","datavalue":{"value":"10.1017/S0960129500000888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882494$DB6E9160-6530-43F1-A2FB-6AAD45F721EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d6b4406c37cb659c11d73b150d343f69e848fac","datavalue":{"value":{"entity-type":"item","numeric-id":673183,"id":"Q673183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882494$69C902DB-A3BD-48B8-AABC-DA5FDB18142B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"278d84a31aa4d41905d8d358c66cb65e85593d8f","datavalue":{"value":{"entity-type":"item","numeric-id":673182,"id":"Q673182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882494$6905D34D-D5BA-44B5-B84F-F6F295B857B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882494$D27133FA-6D5B-48AC-A357-74DCB68D68F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"263e9b17522668129d7ac5e5b0ec8ae0a2ff1a09","datavalue":{"value":{"time":"+1996-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4882494$B2881585-D0B0-4363-9B14-3B238E60660A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882494$B34321A9-9403-4F2A-9373-4EDFC8972838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882494$E79338F2-01E1-4806-820C-DD98B52F37B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"854de6b7e74220ff3f4c48cefc5e856a44df00c7","datavalue":{"value":"890016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882494$C8077F62-1842-4CFD-A5E8-E0A5EDB97F73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891506b790fcfb2265bba17b1f3a4b1846bd472d","datavalue":{"value":"conditional algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882494$22241FA9-AD1B-41DD-9149-AFDF66CFEE55","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":"Q4882494$29E5E963-B58A-4C28-BCE4-6B5AD5066D58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a7c4cebd825b53d75168e9481667aaf60a484d","datavalue":{"value":{"entity-type":"item","numeric-id":673184,"id":"Q673184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882494$A17776D9-FF83-435A-B442-A94BA9275B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9333699cc6f4fb9c72e8fb4341e54b02f5c3c2","datavalue":{"value":{"entity-type":"item","numeric-id":1091132,"id":"Q1091132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882494$54C1901C-CEF1-4A5B-A243-700B0CF67389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07700503ce4299f2b802ac0bfc01f5648401a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3731650,"id":"Q3731650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882494$40D874D8-6DE7-41F5-8574-475B6A35EF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf74703b34de1626ffd3d7ae5025c7b42a757dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1169290,"id":"Q1169290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882494$624B18BA-4933-4E8F-B28D-7D819F4D6DB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3615db0c14cee2afc9933a562c6c4c4724aabad","datavalue":{"value":{"entity-type":"item","numeric-id":5287526,"id":"Q5287526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd6da08f39fd8eb900619e18e673af8de9d44a43","datavalue":{"value":{"amount":"+0.7290558815002441","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":"Q4882494$0F587D25-D847-40D2-8F87-3BC2A61A0E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b8363d501227ae2ac37b7672f879c12788930a7","datavalue":{"value":{"entity-type":"item","numeric-id":4877238,"id":"Q4877238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f7a6da21b6d1e1046e408dfa09dc784f01ca97","datavalue":{"value":{"amount":"+0.7252592444419861","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":"Q4882494$EF6C1245-6389-4EAA-A9B5-A9346F9BF8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f474802c0cdfa5c61588f518913c1cb25d4b4ddb","datavalue":{"value":{"entity-type":"item","numeric-id":3992231,"id":"Q3992231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fba62da314557720b16fea2f1e3c3386e788202","datavalue":{"value":{"amount":"+0.7243145108222961","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":"Q4882494$05E54039-9250-4A61-AB84-0C248248B979","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4882494","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4882494"}}}}}