{"entities":{"Q6064020":{"pageid":13198176,"ns":120,"title":"Item:Q6064020","lastrevid":102303128,"modified":"2026-06-06T04:08:14Z","type":"item","id":"Q6064020","labels":{"en":{"language":"en","value":"Set-term unification in a logic database language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7776436"}},"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":"Q6064020$45564D01-9DE4-4BD7-9FF4-7F9532E8AF3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56265dc32671b97f3894cbd8b96c3551cf1169df","datavalue":{"value":{"text":"Set-term unification in a logic database language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6064020$067D321F-8625-4BCF-B00F-FA313876EF61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52fe466f886eaad0afaaa344d2275a5282ec23bf","datavalue":{"value":"1527.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064020$4C4386F5-FA34-4187-BF75-7C9702B79DBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d029b906f836c0c0e3d55906b24ff843c4949fe","datavalue":{"value":{"entity-type":"item","numeric-id":1606560,"id":"Q1606560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064020$76C76450-8E24-4CDB-8E7B-EAF8E218F8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27ed6693dcb96270c6bfbf0d0181e5a9fe70e4dc","datavalue":{"value":{"entity-type":"item","numeric-id":1606561,"id":"Q1606561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064020$1C27713A-3C0B-484D-A8E0-CAE6C5903281","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":"Q6064020$4EB7A21F-D372-43DE-B126-D2B0D1471092","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"066d1477c8c2dc8167e035c2af02788021afe714","datavalue":{"value":{"time":"+2023-12-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":"Q6064020$122767E0-9F51-485D-8BCF-6409063237E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064020$8FEBDA1C-2486-4030-9309-5E9E68A40282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064020$88B30F31-59F7-456F-822E-C80DF7CD41B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a452eeb718795e5e56db66ebbbfac16ac0e62c3","datavalue":{"value":"7776436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064020$DF22EC49-D302-4F10-8ECA-F2451B2A85FC","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":"Q6064020$B2979B57-559D-40B8-9DAE-05383B6BB75F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df2591c3453fe8713aefb23c2acd25fee6d1a7bb","datavalue":{"value":"https://doi.org/10.1007/bfb0030824","type":"string"},"datatype":"url"},"type":"statement","id":"Q6064020$E28CE463-C88D-43E9-9C3E-99A3643B4751","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"959a8c2e51354b93329bd79a546ec52324357d33","datavalue":{"value":"W1558009913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064020$5DC5C61F-AE07-4733-9CB3-7A5F97DF0C63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90b09f58c2305df0b2d6f3b3a6465ec3e5b5904","datavalue":{"value":{"entity-type":"item","numeric-id":3129506,"id":"Q3129506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064020$FBB7D855-DC1D-4330-9FE6-2EDFFFBC6EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e56653d5bae6b49ff92f0e486f6892e28995c623","datavalue":{"value":{"entity-type":"item","numeric-id":3805960,"id":"Q3805960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064020$CA0377BC-FDD5-472B-9F52-F2AF3AF33C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a70573d1114bb814dffcb46e3f63efb4c11cd8","datavalue":{"value":{"entity-type":"item","numeric-id":5311853,"id":"Q5311853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064020$A814BBD5-6456-495A-A11A-79F11F398280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9732b89c1ec3dfa5b9fdbcbf606dc155ea9b940","datavalue":{"value":{"entity-type":"item","numeric-id":1124375,"id":"Q1124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064020$FF7E7995-4FBB-474B-A6A1-2B835328C68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5523dcf86a20a69b2f5657989c9ada9092fb6e6d","datavalue":{"value":{"entity-type":"item","numeric-id":3992237,"id":"Q3992237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064020$F8DABE5E-F3B3-4BC4-90EC-FB78C60D640C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"780c08bcec67b2ca355fc196845288aaab3ae7ba","datavalue":{"value":"10.1007/BFB0030824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064020$FB37A7CC-B6B2-4CD5-9708-8B76A96CA5CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9966a761a8a3fbf248404da98dff71df970614e","datavalue":{"value":{"entity-type":"item","numeric-id":4260706,"id":"Q4260706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b04713657d74bb36029a7dbd3b408ffcd670999","datavalue":{"value":{"amount":"+0.7529420852661133","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":"Q6064020$57A56899-8C21-45F0-890B-E74B7347DE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4868616f2fbf422fcd6ff0ee08bc4d8dd011eecb","datavalue":{"value":{"entity-type":"item","numeric-id":3422416,"id":"Q3422416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b95e4ace3e5de1ca3e999c2c6c341e019e36709","datavalue":{"value":{"amount":"+0.7424024939537048","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":"Q6064020$F7C39117-F954-4EC6-992B-EF68EA9711B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c331e77e6be29fcb6265a79667bdae51fe88041","datavalue":{"value":{"entity-type":"item","numeric-id":3129496,"id":"Q3129496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e472f6846a3a11073e49ee11b7f9388a6b3f3fe5","datavalue":{"value":{"amount":"+0.7371228933334351","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":"Q6064020$52FDAB39-C6BF-4DF9-97A4-A02251862010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac6ebd8cf8780424e8e413ccff9a952db0b5a983","datavalue":{"value":{"entity-type":"item","numeric-id":3992237,"id":"Q3992237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce38353f732b848256305b60a015a86b388e2ba8","datavalue":{"value":{"amount":"+0.7256326675415039","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":"Q6064020$DBBA83A9-3B57-4B36-A90D-605447FDA0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a4289440add1a175ac3f205d633a1585bbe7aa6","datavalue":{"value":{"entity-type":"item","numeric-id":3716320,"id":"Q3716320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87acc4325fccedd164ee71875df8f0c70303a809","datavalue":{"value":{"amount":"+0.7227551937103271","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":"Q6064020$6BF1C4ED-4459-42CE-B8A2-68D60987DB06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Set-term unification in a logic database language","badges":[]}}}}}