{"entities":{"Q2626081":{"pageid":2636824,"ns":120,"title":"Item:Q2626081","lastrevid":44515911,"modified":"2025-11-23T11:37:03Z","type":"item","id":"Q2626081","labels":{"en":{"language":"en","value":"A rule-completeness theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3192060"}},"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":"Q2626081$4679CD08-0827-4F92-8B07-122AB1C14D3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9dedf9e625f09670008ae5b40002fe75d3d205f","datavalue":{"value":{"text":"A rule-completeness theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2626081$6AC167B1-1E01-4A2E-8CEC-0A5FE489302B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ad5e7f73f95f9cd81d22799c2093350846dfbd1","datavalue":{"value":"0118.01303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2626081$9BB6ECDA-74DC-4B5B-8CDD-42FFD769A35A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c82036c07fd020a3d4c8b8e7b92eb2b804164a12","datavalue":{"value":{"entity-type":"item","numeric-id":918523,"id":"Q918523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2626081$5D88D221-E5E7-4E86-A147-595A56BA4E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1472dc2d6dc52976f36e82d4bba669d73b73a94c","datavalue":{"value":{"entity-type":"item","numeric-id":302247,"id":"Q302247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2626081$49882076-C1C2-4EF6-BC86-07ED65C774DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2626081$90C5455F-010C-469F-A53D-9B58B255363C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb2ff0c8850243f6c91f9deeec455d393bf560c2","datavalue":{"value":{"time":"+1963-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2626081$B2CAB2CB-C335-4F74-AA16-67BF8A036284","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39c60f04a36d6ab89608397c03e6216d0e496341","datavalue":{"value":"3192060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2626081$E7812351-2ACC-47F1-9B80-A456C55BDC4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2626081$EA4CCA62-BC07-464C-AFCB-76B6F2C092D4","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":"Q2626081$D3ED7667-18E7-4C35-BE0F-F6C8D1635E73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"290e3bbe7dda311f6dfa40bc0fb119b624d84082","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093957392","type":"string"},"datatype":"url"},"type":"statement","id":"Q2626081$3117422F-6175-4FA1-9761-4730985EA466","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d950cda18841ad7f400ef923d6c46601e26fa95","datavalue":{"value":"W2008453494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2626081$2ADAD0AE-5EAB-4072-BDA9-A2524BC76413","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e45acdc4a00287911e095f7096e72dd870622895","datavalue":{"value":"10.1305/NDJFL/1093957392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2626081$3CD65F58-D263-468D-B1A8-0C43D0529132","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2626081","badges":[]}}}}}