{"entities":{"Q5424668":{"pageid":7454242,"ns":120,"title":"Item:Q5424668","lastrevid":50205152,"modified":"2026-01-13T12:41:36Z","type":"item","id":"Q5424668","labels":{"en":{"language":"en","value":"Implementation of BASELOG editor module for first-order predicate calculus formula transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5208755"}},"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":"Q5424668$EDBC6FBB-6BFC-4B91-A2FB-09F1B419730C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be99359ae891865ae453aac9513b6ca7bc4e3929","datavalue":{"value":"1121.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5424668$7C5C9260-2099-4D29-AFDE-0135DAC63128","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc09918b70f2946e05f00300f055c68497dcb064","datavalue":{"value":{"entity-type":"item","numeric-id":5424667,"id":"Q5424667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5424668$9AEFC334-7D97-4B3B-ADFB-0C9C6AA9B29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62e797925db4212b2f8e2fd11dbdce5e1a152ca7","datavalue":{"value":{"entity-type":"item","numeric-id":3105938,"id":"Q3105938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5424668$D9D84619-2E38-4D18-A795-97AB992F0442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"557ef11bb0d8e9ea87bd17f69f5f1cdfd7766b64","datavalue":{"value":{"entity-type":"item","numeric-id":2914042,"id":"Q2914042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5424668$4EC7BB5B-13A1-42A4-BA26-0617FFEAA550","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e1c56210e84f8bb3da2b8d466d5bd545edc9adf","datavalue":{"value":{"time":"+2007-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5424668$9413003D-7F84-4241-A19C-2A83495FF425","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5424668$8E077583-A9F2-4B86-980F-77742FBB6CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5424668$99C50787-B9C3-4675-90E4-2C44672BFCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5424668$9C88E754-DC26-43C6-8E41-E31FBBD0631E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5424668$2D5EAAC1-8B44-4A3D-9FC0-717F07EE9CD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb412891c1fb3308df2eedf7f7da6196d7a7a5c4","datavalue":{"value":"5208755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5424668$3B411332-68C4-439C-8404-5B03822B7A88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5424668$76747FF2-42E6-4D7E-94AC-FC41E50456DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q5424668$5E41319D-6FA6-40EA-9DAC-44ABED9F6DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4df43c67a68e59a73b0868852b7220fad5d5ca9","datavalue":{"value":"BASELOG system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5424668$7854D287-B789-473D-95BF-B1007C42612D","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":"Q5424668$A9ADE1E3-C59E-4439-91CD-739326385FA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ed6113f1c0f28cdac379966e65a1421c2d31311","datavalue":{"value":{"entity-type":"item","numeric-id":4202114,"id":"Q4202114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b9ca1b11bcfb73cee9260b0a9a35b403f944950","datavalue":{"value":{"amount":"+0.7100937962532043","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":"Q5424668$224014A2-BBCE-4ADA-BC9B-8DF7992F059E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"610ff485f0e9059add06bbfef9822b1971af8666","datavalue":{"value":{"entity-type":"item","numeric-id":3332284,"id":"Q3332284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9744117076a67edbbf68971d7e93288104020a43","datavalue":{"value":{"amount":"+0.7077685594558716","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":"Q5424668$B9DB314B-68A5-4B50-8110-C63604243500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a4e3e06fa8f5fa1613e3a0e750e25d9066b72c","datavalue":{"value":{"entity-type":"item","numeric-id":4281258,"id":"Q4281258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3af6e2cd93303adf2dd437b6bdc14d341a7f8aa","datavalue":{"value":{"amount":"+0.7076831459999084","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":"Q5424668$116EC5FD-3FF2-499B-9AC4-1D9DC428DCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8fdba34dc56f65cd0779946b35c3efecfb6e2b","datavalue":{"value":{"entity-type":"item","numeric-id":4804324,"id":"Q4804324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac8676fb0e47ba39b26d858eef236b3a87a8eaf3","datavalue":{"value":{"amount":"+0.6970285177230835","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":"Q5424668$10275571-FE43-4793-8BFA-679933FB77B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5b9cb0856d127c2a916c295ebc1e9c91730609","datavalue":{"value":{"entity-type":"item","numeric-id":3804241,"id":"Q3804241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b16d9b0755673de7d86c1ee88431b362d6460b4f","datavalue":{"value":{"amount":"+0.6939935088157654","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":"Q5424668$1A7B3D6E-63AD-4035-ACBD-5C6D9F9BDF7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5424668","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5424668"}}}}}