{"entities":{"Q5210795":{"pageid":7240366,"ns":120,"title":"Item:Q5210795","lastrevid":53639309,"modified":"2026-01-25T11:42:30Z","type":"item","id":"Q5210795","labels":{"en":{"language":"en","value":"Associative-commutative deduction with constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154572"}},"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":"Q5210795$001C06BD-2859-43CF-A009-28CF811125EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7e2ab39f1b1b7886a8666e0c03430e2f24d3d33","datavalue":{"value":{"text":"Associative-commutative deduction with constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210795$FC00EAC7-15FB-4434-BF81-E1168586385C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f82517f535fa28600f559c6bb0e60daf5d09abc","datavalue":{"value":"1433.68570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210795$73C0230E-36E7-4FDE-84E0-9FBADE569EC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17ebd99269f3b1bb092736d54998a625bfbe7794","datavalue":{"value":"10.1007/3-540-58156-1_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210795$D25BD1A4-855D-4996-B22B-EF6E4C57CDA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6859fc6fdda561ce847e5098101dd47b5d4060af","datavalue":{"value":{"entity-type":"item","numeric-id":1340507,"id":"Q1340507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$B68473FA-43CA-46DD-BDD3-0281A7C862BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$BA66D63D-3D7C-483E-BD9C-512074F69BF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210795$B1A679A4-4C29-4227-88F3-7B8FFC6FE9F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210795$B4E0A4FB-DA9F-4F5B-8833-5B141922F8FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a25662a29424e2ef525eb390a8ac32833106f2e7","datavalue":{"value":"7154572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210795$0C6D4052-F287-4D0D-B3E2-691308960DFB","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":"Q5210795$38B58D14-73A7-4F53-8F09-5BA1C42BDF28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b20d61c66585043eaed833dedb3910ce5b38215","datavalue":{"value":"https://doi.org/10.1007/3-540-58156-1_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210795$42DE08FF-CDA2-4E50-BE83-7A346FE56B62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8752b956d163064e5f487b1a3883d81a11b934b7","datavalue":{"value":"W1583508425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210795$E8BFCEF5-E011-4397-A0CB-2311C13DDEC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e38c2f2e2ea48fd30061f5b3a3a8d0dacb950761","datavalue":{"value":{"entity-type":"item","numeric-id":4264723,"id":"Q4264723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$E229C7A5-9BEB-4C8F-8647-6CFE251EDEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fb53dc30cdc46111c93a6e7de143f2e9b39160","datavalue":{"value":{"entity-type":"item","numeric-id":4099229,"id":"Q4099229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$ED3768C9-194A-47F0-8A23-25B7AFC1FB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$E5BCC557-E033-4B0C-808C-FA919C62A7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2ee56ba2a005af96686c0f6e5c9a32a5bba445","datavalue":{"value":{"entity-type":"item","numeric-id":5565138,"id":"Q5565138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$B10F798C-5150-475F-A76C-9F635ACDA265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc614fe187bd0295ec729cf32cb3675e34b7b37","datavalue":{"value":{"entity-type":"item","numeric-id":4302847,"id":"Q4302847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$8F7F904B-A30D-47AB-A0E9-B3BA5291C38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a00e564510c152430ba9f59c7b7c4f0c9042fc","datavalue":{"value":{"entity-type":"item","numeric-id":1106657,"id":"Q1106657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$5FF52EC7-91BA-4466-856A-BFEEDD102F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5520f71a457cf42f6d82e86a9389779333d340bd","datavalue":{"value":{"entity-type":"item","numeric-id":3804240,"id":"Q3804240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$C4AC0904-CAFC-4034-B992-FEC811413839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7c628ff52abede3b151ab9a84b4dbfa41be244","datavalue":{"value":{"entity-type":"item","numeric-id":1357668,"id":"Q1357668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$0D9D74DF-461C-4282-883B-DBFF01CDC777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c9c1aeb9cd97d0f637554f9533dd19252fdc52","datavalue":{"value":{"entity-type":"item","numeric-id":4264721,"id":"Q4264721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$79C03D4C-12DB-4301-9586-232D8F2EE765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb92acc5068f491ee61908b46a1367f68f3fd791","datavalue":{"value":{"entity-type":"item","numeric-id":1209615,"id":"Q1209615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$38709325-A664-4EFC-84A5-4B76624BEE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5939193d2c734f0c40871d2dae732bc5d8448c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3673152,"id":"Q3673152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$B1A62131-62C0-40D0-8AB0-2D5FF9EB0EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$8CE2C8D2-4027-495D-8648-596544019DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$250CAC55-9806-4FC8-9E0C-01C06AF49B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcec348f8213ea4319b1f4434fee19428b297bfa","datavalue":{"value":{"entity-type":"item","numeric-id":5055808,"id":"Q5055808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$B8FFB2E5-A506-4AAA-BD34-758547CEFDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebefb56013d1eec876e07a6ceb0c59107285c937","datavalue":{"value":{"entity-type":"item","numeric-id":757094,"id":"Q757094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$C531DB40-7597-4391-B4BE-A9AC645005C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a7b1ff9c218bf39d49a97332f2150f3d430e8a","datavalue":{"value":{"entity-type":"item","numeric-id":4279086,"id":"Q4279086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$B2992389-EC5D-4950-9108-FDE574767E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$2610C285-E076-4DCB-B27A-69685CB13ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e4d5d206133d3398c50fe5451aaece0e817a40","datavalue":{"value":{"entity-type":"item","numeric-id":6488549,"id":"Q6488549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$4372271F-701A-4C54-97B8-3E683090FFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4f240d70da77aed1ce5b5f7470d52f44d6a1a8","datavalue":{"value":{"entity-type":"item","numeric-id":6488545,"id":"Q6488545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$665FE844-9713-4B95-96E4-5D107578EEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5196e47324534310ef9a573cc87abfd23b2c4d","datavalue":{"value":{"entity-type":"item","numeric-id":6488546,"id":"Q6488546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210795$C965F244-BDFB-45B8-892B-23165A59CA51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ecda5e3a46bcf7593ba405dfe633a1c293b69b7","datavalue":{"value":{"entity-type":"item","numeric-id":1340508,"id":"Q1340508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e844231c98ded309e67ccda4e9873779ebce5c28","datavalue":{"value":{"amount":"+0.8199169039726257","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":"Q5210795$2ADFB1B2-224C-4A44-A1F3-13D74DC47B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd92e0fc7174e4ffaf184a88aa12a99beee1a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1199927,"id":"Q1199927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5eb092be76ef5769d0b3ffcbf0e0d6f7c70dd71","datavalue":{"value":{"amount":"+0.8148486018180847","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":"Q5210795$FB24FD3C-9758-4566-B93A-60F11083FD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c33f30e9dad57eae1b4e76ad6357482eae0eedf8","datavalue":{"value":{"entity-type":"item","numeric-id":1355755,"id":"Q1355755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a223f5373e039a15fcceea91ac72a6174dc06f","datavalue":{"value":{"amount":"+0.8048165440559387","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":"Q5210795$2BDC8F9B-6C56-44B0-A8C4-111C11C1FBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585a3b2bc065a3648569ba6099b363802ad78814","datavalue":{"value":{"entity-type":"item","numeric-id":5210796,"id":"Q5210796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c970a9521033450f360044a27bf8bc5732cc952","datavalue":{"value":{"amount":"+0.8033808469772339","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":"Q5210795$5C7E76A8-0B90-4072-B5A2-FD8F76CB825B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edb9bc103ac6abca6432b206f30fd565c83d1948","datavalue":{"value":{"entity-type":"item","numeric-id":1209615,"id":"Q1209615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdd6fec8546b0b1729a057e1b3f1b6db927c18f5","datavalue":{"value":{"amount":"+0.7538185119628906","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":"Q5210795$87952663-F384-403E-B4A9-50132AD603B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210795","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5210795"}}}}}