{"entities":{"Q5505497":{"pageid":7535057,"ns":120,"title":"Item:Q5505497","lastrevid":96531209,"modified":"2026-06-05T11:31:36Z","type":"item","id":"Q5505497","labels":{"en":{"language":"en","value":"A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498224"}},"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":"Q5505497$5B5B68C1-4285-40C7-B22A-2F2CD2F69587","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca659c8bce899ced496b8b206b0dda4f3c869539","datavalue":{"value":{"text":"A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505497$234A3DDD-BE04-46DB-9F43-74BF43400D6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04eff3dfd7ca0b33d62f7b262e26a5ef5710e3aa","datavalue":{"value":"1166.68359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505497$038DD0CF-CEFC-4D2B-BAC0-12B08131D3BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d0f012b0818ee082232ca0c1ebcfbe0701f7761","datavalue":{"value":"10.1007/978-3-540-85110-3_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505497$EAC65F9C-5A68-46DD-8B42-19D7FBE58B09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e11b0e88ee50fa9f165f88aee506f9526524568","datavalue":{"value":{"entity-type":"item","numeric-id":417949,"id":"Q417949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505497$A6AF56A7-4372-4D25-A75D-0B6C531B303D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f974c4e2073d25817d007e006334edb99dfef9e2","datavalue":{"value":{"entity-type":"item","numeric-id":417946,"id":"Q417946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505497$012B2510-450E-4955-B794-0EEDC3CC7D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"959f74873f841a4325d037d791106c9124a08aa4","datavalue":{"value":{"entity-type":"item","numeric-id":692318,"id":"Q692318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505497$DAFC1FEA-5EBB-4C38-8156-AB182F4761EE","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":"Q5505497$65A43E01-684F-4C8D-B8DB-94246CCD34C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505497$CE468166-47AA-4775-BBEB-8A476AC63AEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505497$83B12A78-1152-4E67-9C13-10B0C0CA8E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505497$32603CBF-E2C5-4B7B-A814-37E89690F9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505497$0862EE44-9F4B-4E5D-958E-0550CC9795C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"990ab88c5b82dae01d1d88cd6cebbeb1380fbaab","datavalue":{"value":"5498224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505497$D1C663C4-0E76-46EF-ACE3-FBC4BB945FEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019b33453a3b0aeda0167966df1b177361e3c43b","datavalue":{"value":"logic and symbolic computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505497$D01E7035-3632-43D2-A018-228F474B904E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505497$24A1A769-AB1C-4879-94C5-FA90B1B4811E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4ff63cfbdb17b7b2f0c2058e7712058fbbeb61d","datavalue":{"value":"rule based expert systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505497$0A1A480D-30FF-404C-8E58-4A3614D320C1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505497$97DFE38A-1A10-4BFA-80F6-2E3D200C0AA2","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":"Q5505497$8D900CEE-0FD9-4F96-89F4-C91487EBC52C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c47e4cc76d75dea2cfd2a02e3f7c49346b0a2a8","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85110-3_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505497$B98166A5-3D8C-4524-BE6F-89524B99FC24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fabcc3d6c69b289dfcce4ca5e596f81826ab201c","datavalue":{"value":"W1530746436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505497$BB9BD084-BB2B-4C2F-88FB-DC32846367F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0d60285ae04471993c98b6fd4f9789d850bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2902935,"id":"Q2902935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505497$0A482899-9919-4ECC-A503-975FAE95D0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c91697c4a6e1538be05427b6b9da3db93f68d8","datavalue":{"value":{"entity-type":"item","numeric-id":804567,"id":"Q804567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505497$418AF330-CD73-4746-B065-95E765D10A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7814c93fd14c472a24a528c1ff4a97ba1b2c10db","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505497$D91B71B3-17D1-425B-9EF7-AF7E5BD7C1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03d34aadf407358e4c05d17218133dd05ddc56fc","datavalue":{"value":{"entity-type":"item","numeric-id":1349162,"id":"Q1349162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505497$C0110017-D0A0-41AF-89B9-D9200719B1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b48882744e425b1d2722eedd65a0e0dbc1c1ac","datavalue":{"value":{"entity-type":"item","numeric-id":1404692,"id":"Q1404692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505497$F3C5F2BA-A8DC-4DBB-92D2-6670E5E7ACA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"524db92e0419803d3a8be3e3dbcb40354771e625","datavalue":{"value":{"entity-type":"item","numeric-id":3156426,"id":"Q3156426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505497$A2B5C2FF-268D-4C5A-82AE-184DD412768D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae09a583301e58d0c1fddc767e66ce8216993d9","datavalue":{"value":{"entity-type":"item","numeric-id":4823900,"id":"Q4823900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505497$90331931-94E8-4914-8028-0D60C7639ABC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"230754fb54783076e53e0a5578f75b3f58602ee9","datavalue":{"value":{"entity-type":"item","numeric-id":3192775,"id":"Q3192775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"149a48f2ebcf4bf919c1242b83a2bc8e5837b9a2","datavalue":{"value":{"amount":"+0.8238505721092224","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":"Q5505497$02E3051D-E01B-47F1-9714-01A5739A6096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be56314d6578e1865ebd3ad27842b5f636e62bdb","datavalue":{"value":{"entity-type":"item","numeric-id":804567,"id":"Q804567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b86b500cdc76d848aad66aa57354145ca0c4a3","datavalue":{"value":{"amount":"+0.7985648512840271","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":"Q5505497$FBF86A7C-9EB4-4ECD-B52D-1F321D2E3ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f356f4b387c9a25c60a2134e490d04813c4132a","datavalue":{"value":{"entity-type":"item","numeric-id":2379678,"id":"Q2379678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5763ee2bde6c826169f852eab9b82d804a671ebb","datavalue":{"value":{"amount":"+0.7922120690345764","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":"Q5505497$B925F9CF-B508-43D9-A589-16D72B604A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5906da650647c2a8a95dc9f366a6bef423a2b688","datavalue":{"value":{"entity-type":"item","numeric-id":692319,"id":"Q692319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"671039c9bf4ec06fb81053fb2364580e0997383f","datavalue":{"value":{"amount":"+0.7807703614234924","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":"Q5505497$B4D46E52-1208-4FA2-90AD-907F1DF7F711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47c981cb60fa4774b207f7dddf9109dd99e7e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1404692,"id":"Q1404692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbeedf41cc58e05a77636bfeb09e8d32959d8746","datavalue":{"value":{"amount":"+0.7613621950149536","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":"Q5505497$5885F03C-483A-40E2-98B1-8F1EE8A20097","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple","badges":[]}}}}}