{"entities":{"Q4995156":{"pageid":7024733,"ns":120,"title":"Item:Q4995156","lastrevid":98258945,"modified":"2026-06-05T17:04:04Z","type":"item","id":"Q4995156","labels":{"en":{"language":"en","value":"Distributive laws and decidable properties of SOS specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7362461"}},"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":"Q4995156$965D47A8-CEEE-4CEF-98A0-46FF75722BBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d3b5fb23d4a388e1fd3fb13c3d89459a1abdf64","datavalue":{"value":"1464.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995156$92D468FF-0E43-47EF-83C4-EB92626594BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d3118136e3f1e7a1e2bfd0b43cb9b6b990ee60b","datavalue":{"value":{"entity-type":"item","numeric-id":383370,"id":"Q383370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995156$95B44954-30A3-4775-A60F-C17FA642C349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1597d6c6ea6d07b7ecb15e42659f2c2ca39cc930","datavalue":{"value":{"entity-type":"item","numeric-id":511940,"id":"Q511940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995156$53575235-C952-4E22-87A5-6CD678B3C3F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4b5964c0ca7f3b359de324eb5df9fa69569a066","datavalue":{"value":{"time":"+2021-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4995156$C6EFC4CF-CDCE-41FD-A754-5610B3103B1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a44ead85984ba2bf405030840e5368e16e689d0","datavalue":{"value":"https://arxiv.org/abs/1408.1458","type":"string"},"datatype":"url"},"type":"statement","id":"Q4995156$3BBCB5B3-587C-46E6-A54F-D53D5C1AFDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"50b038f1edfd0fcebaedfbde769562c05bb7e540","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2014.8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4995156$1CE894A8-E863-4DAE-9CE2-758B33230640","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995156$158EA1EC-174F-4C9F-ABC1-1F21C5FF2E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995156$7CBABF0E-9331-4C21-BB91-FEA7950E9E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995156$5C17A022-5039-45B4-91AF-044B60FD91A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995156$9E20DA4F-5148-4C78-9531-755E7C84A0DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a33b762cccee4820c922c15ba8a76fbac156223a","datavalue":{"value":"7362461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995156$26B0434E-03AE-428B-BDB5-58BB877EFF24","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":"Q4995156$FC01F066-37E9-430C-B117-C49996A78BFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9435aed126ffff79b1ddc12736d828627312152","datavalue":{"value":{"entity-type":"item","numeric-id":5014802,"id":"Q5014802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3193d2d253543b9d0d89d1d3b05f7f6e67e9a9","datavalue":{"value":{"amount":"+0.8594557642936707","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":"Q4995156$CFB17C27-E460-4FFD-B556-7D1912E56A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8823e911df796197fc9bfb254830998730edcc5d","datavalue":{"value":{"entity-type":"item","numeric-id":2329307,"id":"Q2329307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c38026c4cd6508c05cfe3a50db19a21a0c58db71","datavalue":{"value":{"amount":"+0.8506117463111877","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":"Q4995156$28C1FF76-32BA-4672-9F32-74DFA6EB90A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596ed2397b994ea781df743f4d9e5a0442b1a6e1","datavalue":{"value":{"entity-type":"item","numeric-id":265819,"id":"Q265819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44245e20ca52ba978f4c1b6f21d92751a60da3d5","datavalue":{"value":{"amount":"+0.7845550775527954","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":"Q4995156$FE081DFD-3EA9-460E-A803-F31D61EA1A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26746d437ce05e678cbb25fa8383f94e1484057e","datavalue":{"value":{"entity-type":"item","numeric-id":5275351,"id":"Q5275351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d22c39e76a8701153cf4dc479779ecb115ca61","datavalue":{"value":{"amount":"+0.764743447303772","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":"Q4995156$618042D5-B888-4961-A1CA-C53143E3EAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d09e9f351229d6d6203dc7f7bd4b5780c7f4ece6","datavalue":{"value":{"entity-type":"item","numeric-id":2842551,"id":"Q2842551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a3d7b7e855008151dc423c666e81c58e83d606","datavalue":{"value":{"amount":"+0.7625985145568848","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":"Q4995156$720F4BE2-8228-4343-AA64-C158F08EC40A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributive laws and decidable properties of SOS specifications","badges":[]}}}}}