{"entities":{"Q2927637":{"pageid":2938357,"ns":120,"title":"Item:Q2927637","lastrevid":85050707,"modified":"2026-06-03T05:42:03Z","type":"item","id":"Q2927637","labels":{"en":{"language":"en","value":"SOS rule formats for idempotent terms and idempotent unary operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6365521"}},"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":"Q2927637$93E8EDDF-EE73-4BDC-A99F-03C172923499","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2200328b9f7c956754ed05ee25e43a5e9c865cc1","datavalue":{"value":{"text":"SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2927637$85EF9716-9148-4033-B6CA-EA0254E78E87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"103c5254c6325848c51f743ced704da8164dc82c","datavalue":{"value":"1302.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2927637$AA0F0D70-7DB3-4EC4-9606-4788DBBA52B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6c6a7805f0ea7696b1a2c4329500ac969b6a6da","datavalue":{"value":"10.1007/978-3-642-35843-2_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2927637$FA5ACAEA-AC55-46ED-B790-19EC31D0D5C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2927637$3E47937A-BE1E-4C1A-AB06-32B9AF728EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"392a50cb82fb05a2f2a440fd35f2b0d252f5c7d1","datavalue":{"value":{"entity-type":"item","numeric-id":477629,"id":"Q477629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2927637$4EA7DEF1-1380-4F53-A30C-5B867AD75F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2927637$EB388D19-DE58-43B2-BAC0-7E5E9D0BD673","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":"Q2927637$014C0FA6-B5B6-4640-92AA-2822CB38FD40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05abf2dbc2f0a908bef50ea9b8f6fae21a49dd4f","datavalue":{"value":{"time":"+2014-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2927637$BA519D35-2C9B-4EC3-9117-FF43625DBA9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2927637$2907556D-3F16-4BC2-82F9-077FDE81834B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2927637$8AE0EA5C-A83D-4BF2-BBF8-DC6C38FC9E1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5037616b42f38d80706a4064de7409b079c7b60","datavalue":{"value":"6365521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2927637$789B06DE-9757-43FC-951B-C5BF8AB242BC","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":"Q2927637$84C1DA96-0B2F-4F75-ABE1-F7A46D333414","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b5c3698eea5376c329f3802d2f2f1e2e1386fc9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35843-2_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2927637$2CEAA251-201A-47C8-BBEF-7CE408DA77CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"662a81901bc37b1a4320d34a2a17df27a3054ef8","datavalue":{"value":"W2124014048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2927637$90A6BC91-B470-4BB4-A5B2-3499B292C111","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"864896493f930ae2d485ebaef43ab4ef99624fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2436519,"id":"Q2436519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f78862ddb619d3928e39ef7062e5d9b094ed3db0","datavalue":{"value":{"amount":"+0.9823277592658995","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":"Q2927637$7B88BBF7-8007-4CDE-9577-101A6A5E728E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77deee3d93da3775444359a55c0c5b12d110dd80","datavalue":{"value":{"entity-type":"item","numeric-id":3178250,"id":"Q3178250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95ad402fbe75df8f41aa9178064520e16d79a080","datavalue":{"value":{"amount":"+0.7151287794113159","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":"Q2927637$BE067D39-C5A6-4588-8FD5-2C73729F7F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66539ac3375a2a0c20afba54c1b0a6ef82466f7","datavalue":{"value":{"entity-type":"item","numeric-id":433348,"id":"Q433348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"144e5cf107df67d265cb8205a04e745219c39db1","datavalue":{"value":{"amount":"+0.7139794826507568","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":"Q2927637$D75A2236-1BBD-4712-A622-074BD13BFB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d1f9ffa1284e8ef67dc5320b60ae0e8bb632c57","datavalue":{"value":{"entity-type":"item","numeric-id":3400918,"id":"Q3400918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d46a49a7669c18bac06f33fae31fb144b5999f","datavalue":{"value":{"amount":"+0.7047487497329712","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":"Q2927637$EF29B0CE-ABD9-487E-AEDA-70F9B52A9541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a32119ced4d1eec76e57200053499b2fad00177","datavalue":{"value":{"entity-type":"item","numeric-id":549170,"id":"Q549170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba088d7bb9c26513bd7377f725aa6c2d75c589db","datavalue":{"value":{"amount":"+0.7003806829452515","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":"Q2927637$5652FA77-E42B-4A26-858E-A0E4B4765874","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SOS rule formats for idempotent terms and idempotent unary operators (scientific article; zbMATH DE number 6365521)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SOS_rule_formats_for_idempotent_terms_and_idempotent_unary_operators_(scientific_article;_zbMATH_DE_number_6365521)"}}}}}