{"entities":{"Q2751537":{"pageid":2762276,"ns":120,"title":"Item:Q2751537","lastrevid":47694802,"modified":"2026-01-02T11:14:04Z","type":"item","id":"Q2751537","labels":{"en":{"language":"en","value":"Interfacing computer algebra and deduction systems via the logic broker architecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1664911"}},"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":"Q2751537$59852DAA-8EF3-4B72-B934-D094423766B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a8feb9d2b07592c6be23c58862371783ce36964","datavalue":{"value":"1017.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751537$45FCA4D6-2E39-4537-950F-5B595E6A6FEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8929b5e8fd595db2a268be7799695598b47ac8","datavalue":{"value":{"entity-type":"item","numeric-id":219435,"id":"Q219435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751537$2B565B2B-BB65-4C6A-947E-EF5E2E3D67B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75b3f9b9391dc3609a1f5dab349a56af9f7efd60","datavalue":{"value":{"entity-type":"item","numeric-id":2751536,"id":"Q2751536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751537$9FA3379B-4220-4928-8F21-23E59D6497CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18c027ad92f0a58b9880647077bfa16d4f34ad72","datavalue":{"value":{"time":"+2002-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2751537$46945A3C-E72F-4F35-85D2-F0BA1E74DBBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751537$D07C3EE3-2BEF-428B-BD05-9DE86C4CA84C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c48cd584a3514e45260a81bae8cf8fb555280fe5","datavalue":{"value":"1664911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751537$9CD8543B-D036-453D-8037-490AD9608ADF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee32107c7af4c24388577f7bff78e9a253cacfe8","datavalue":{"value":"logic broker architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751537$AEBBD2C0-C339-4169-BB07-3AF4F7C39EC2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9c1f58b8025297b76815155d9e858d1b402d938","datavalue":{"value":{"entity-type":"item","numeric-id":12911,"id":"Q12911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751537$841E6606-793C-465A-822A-DBEDA6750ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bfe3bcc0009a21918f21df2ce90f46715f021133","datavalue":{"value":{"entity-type":"item","numeric-id":15891,"id":"Q15891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751537$7AE38B10-F874-4152-B500-0BCBDCDACF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76802187a7905926b2a38ec174758f899e34b9bc","datavalue":{"value":{"entity-type":"item","numeric-id":22347,"id":"Q22347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751537$D57B505A-6DF2-4FAC-89D1-69374C6D4F4C","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":"Q2751537$69690AAB-3041-44C9-8C7A-D0034C38AB94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"301551a2dad2f251046be0fc7e5ed0cde6bd7d0d","datavalue":{"value":{"text":"Interfacing computer algebra and deduction systems via the logic broker architecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2751537$DF5483ED-5819-4BDB-9136-CB3F0A17A9AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d138128b6ef749c5b83de26dc2d96493081e97eb","datavalue":{"value":{"entity-type":"item","numeric-id":4518868,"id":"Q4518868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86bbfaa59191c88d76434e6bddfdcd8db66fe50f","datavalue":{"value":{"amount":"+0.731656014919281","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":"Q2751537$46D033FE-A26F-4245-8053-0A7EFF54F467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a1ccdd29f698747b6aa96da88440d993be29ab","datavalue":{"value":{"entity-type":"item","numeric-id":1272609,"id":"Q1272609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ced02f278dd5c4efc97ccf504be35644fc6896c","datavalue":{"value":{"amount":"+0.7067595720291138","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":"Q2751537$E20E5C99-B7D8-44C7-9744-5D87E40A81FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f16aadc6cf54417a3910e3f401c2c1c02bdb63a","datavalue":{"value":{"entity-type":"item","numeric-id":4934138,"id":"Q4934138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ced02f278dd5c4efc97ccf504be35644fc6896c","datavalue":{"value":{"amount":"+0.7067595720291138","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":"Q2751537$9E7004BF-5B1A-4A89-B318-05C6867916F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fb3e22cfdea9687c7e9c67f2933def3703735b6","datavalue":{"value":{"entity-type":"item","numeric-id":5428262,"id":"Q5428262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"639e924390206526796f2c0ac0dd3b117facddd6","datavalue":{"value":{"amount":"+0.7030547261238098","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":"Q2751537$F4B0FCBC-166F-4206-BC30-18FA9D4A56B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29cbf49a2d34b109d22fd4aed20f4c51c8b3874d","datavalue":{"value":{"entity-type":"item","numeric-id":4217952,"id":"Q4217952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac3c6e84ecea87619e753b6c81ca6f1b7a7149d0","datavalue":{"value":{"amount":"+0.6969110369682312","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":"Q2751537$64264FA4-0E21-406E-A2EB-EE6CEF3C287A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2751537","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2751537"}}}}}