{"entities":{"Q4287490":{"pageid":6317091,"ns":120,"title":"Item:Q4287490","lastrevid":46306710,"modified":"2025-12-24T13:07:41Z","type":"item","id":"Q4287490","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 549971"}},"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":"Q4287490$A0093CE8-A42A-4688-924D-B7F95C9D32C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3af6e821bd3d414bf95a0577bfb51a324aedb81e","datavalue":{"value":"0814.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287490$32CBA4F2-D1A0-4E74-A8F4-E2EA6BAEF174","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84c1e3395fd8d6ee6c2ef33445c4ca6eb5b1f66d","datavalue":{"value":{"time":"+1995-06-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":"Q4287490$7019226A-3E90-49E5-A039-EE969659882F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287490$BD654234-478D-44AB-8E32-5D442CD04D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287490$1F8CFD3B-DCF4-48F5-B5F5-DC32903FCA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287490$9205FE74-5ED7-4175-9692-EAC386F39519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287490$37A8BAB5-767B-48A1-B43F-49B390CF94AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287490$274E6AF9-9121-4E38-87EB-F1F9ADB670F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287490$B850FB69-4EA3-4CA6-875E-822972AE8E21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8049c42112c9428a1566f6dbed50e81b7270a321","datavalue":{"value":"549971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287490$7AA318CB-3792-418D-AEE9-E722B975BBB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66c88ba6a37516e0220a5bc3707ba980386b39c9","datavalue":{"value":"regular algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287490$97C32750-5B4B-4CCE-9ED3-147E8A74F6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287490$FEB84FC9-9D47-4839-881A-763752C1B40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05700fecc0f5b5fec30e5312e225aca0bf62460","datavalue":{"value":"monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287490$FD71B605-F258-4373-B92B-A6AB7F39A6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f450ed1d930ab0e03177e9c7678e94ef9770c84f","datavalue":{"value":"2-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287490$2CD5A74C-0E84-4BA8-8877-DA88E08AC091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb131991ac61df937a24e35f9a843efb72ca0ee2","datavalue":{"value":"Horn theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287490$AB172D00-3818-4076-B480-969B1108BE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7464ffcca8aef98083963702194da926e2433539","datavalue":{"value":"equational extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287490$716A20EC-E11B-4CEC-BE55-D3E59236A8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cf86e103255e572015a54e977200e1dddcb61c0","datavalue":{"value":"equational theory of regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287490$0AEDB9D9-B2BA-45AD-808F-112FC87E4EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f98a6d23e6dedf247d44051611978feaaec2e022","datavalue":{"value":"residuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287490$E77B7B4B-7D43-446A-B3D1-BB45580B3217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5d54944cb533cdb981a7f675f7ba468fe744b6","datavalue":{"value":"action algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287490$F398D1B6-6689-4858-B851-F4D91E4BD97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287490$D0361DB5-FA2F-45EE-A9F8-4ED771576E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1823cc516987106a30827dde84858f493062272b","datavalue":{"value":"Hilbert-style axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287490$68B04D64-DC9D-4007-A306-9643DB4D7A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287490$87D30B15-CD58-4717-A8E5-C70D2167FD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15b887f8cbf81387d002788fd170f06c85c7442a","datavalue":{"value":"two-dimensional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287490$592A7426-AEEC-4939-AA05-B64BED810CF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2daf04d2e542c2ae6d281c4a9ddbcc3ed8dba4a6","datavalue":{"value":{"entity-type":"item","numeric-id":1134755,"id":"Q1134755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4287490$9605AA3E-F500-45DD-AB4C-6E5C78EB01BD","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":"Q4287490$AC8D2013-766A-47BB-B30B-E8A9429CE1AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"674fe806f62fa051a4ccb05249592404eca25c5e","datavalue":{"value":{"entity-type":"item","numeric-id":3437263,"id":"Q3437263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5456769bb78a1237f5ff97054f5676b6fa74a708","datavalue":{"value":{"amount":"+0.8081457018852234","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":"Q4287490$4AB87963-315F-44F8-8D2D-34F97A110C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b195e4700ba0e889da061083dc46691f604afdbc","datavalue":{"value":{"entity-type":"item","numeric-id":935019,"id":"Q935019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b884a0251a61e7dd54c15a9fe211042909647f4d","datavalue":{"value":{"amount":"+0.7881186604499817","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":"Q4287490$139F50CC-3020-49BE-8450-150CE403FABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b546727189882dd711631d814ffbbaabf8a19ba6","datavalue":{"value":{"entity-type":"item","numeric-id":817963,"id":"Q817963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"092c1769f4591082e5062bff59ec06aa29b2832e","datavalue":{"value":{"amount":"+0.7747647762298584","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":"Q4287490$9AE77D3F-9515-4208-B369-DCA3EE8D9A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7fe6123e1ea33a51ee893cf9035716be0978f55","datavalue":{"value":{"entity-type":"item","numeric-id":5459176,"id":"Q5459176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0428c274eabe252a24060925c5cd38d9ef6ecab7","datavalue":{"value":{"amount":"+0.7397832870483398","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":"Q4287490$03D3367B-DD86-45FE-B5A4-A37D18544A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b33c13ac5148b9f2ea33719d396c3bfac94ada","datavalue":{"value":{"entity-type":"item","numeric-id":3590769,"id":"Q3590769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c246a3ad42c07c88c616a87ca4777e54f244650","datavalue":{"value":{"amount":"+0.7252728343009949","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":"Q4287490$8D603C20-167A-4972-8669-740B25C310CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4287490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4287490"}}}}}