{"entities":{"Q7007785":{"pageid":21549672,"ns":120,"title":"Item:Q7007785","lastrevid":82694948,"modified":"2026-05-06T21:39:25Z","type":"item","id":"Q7007785","labels":{"en":{"language":"en","value":"Labelled proof systems for existential reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8016087"}},"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":"Q7007785$1E12ED02-810C-4C01-96EE-A210A3EDCC5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b47537906b8e87869d13444a0482659fdc26dd1b","datavalue":{"value":{"text":"Labelled proof systems for existential reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7007785$AABEB479-A6C6-4128-A79B-4FCD193CFB2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b9eb7ecfc9d0f0a7bdbced2af4865c4abb87938","datavalue":{"value":"1573.03418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007785$81BC739A-2152-4DCC-ABC4-2E17AB171EE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4211198c1838eae8de4d2c3ae6de3f735e72581","datavalue":{"value":"10.1093/JIGPAL/JZAD030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007785$274DF720-5565-4A1B-8536-791BDDAD3213","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f40bdf4076d17ad0eb057c2b8be5ee375b837d63","datavalue":{"value":{"entity-type":"item","numeric-id":549722,"id":"Q549722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$E1EE0725-0E8A-47E1-B66C-AA68511A7693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd81c74e9dd6a65228b7fc9755a82f62eef19851","datavalue":{"value":{"entity-type":"item","numeric-id":682379,"id":"Q682379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$AC9C56EF-9570-4862-A717-2D415E6633DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f777adcad6332a741f226656c48fe659c1cfa7b","datavalue":{"value":{"entity-type":"item","numeric-id":694498,"id":"Q694498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$F8DC4055-5E96-4B2A-974D-CD534AB49F09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$D5F2E3BB-2F1F-4326-A8B6-767A8F2486B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"557ec203c60ba3b58811bdaf67c6999b805da811","datavalue":{"value":{"time":"+2025-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7007785$62B08F27-7F0A-4779-8357-F23B492132BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007785$E0FC6B7F-004A-4914-B740-3A70D66E8451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007785$192F6BE0-BB8E-4B05-9446-CD0BED557DA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f81a86098042d1ba333cf86496986896fa61cef","datavalue":{"value":"8016087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007785$ACF0FCE6-B6E3-4A08-A97E-CCBFAC238517","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22f500dae02df7fc10c3f738f13fe5e849fe22a1","datavalue":{"value":"existential reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007785$08217C6F-E81D-42B5-9774-808703613C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b29d499daedf2f060a5449e7c3d718e7a7414198","datavalue":{"value":"labelled proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007785$3ADC2631-D473-4C93-994F-141A490FA7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96069495a6e68f1c78574f3dd2d2c85b0b6c16c9","datavalue":{"value":"constraint specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007785$C117D5EF-5D31-4A05-B28C-8E64A2C70819","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":"Q7007785$C211CF7D-6E4E-4901-9B5C-73D6E15D8EC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a285e1c10d6daedc2cc9f7b045273c3a3c22774","datavalue":{"value":{"entity-type":"item","numeric-id":1601892,"id":"Q1601892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$90EB56D8-FEE8-470A-AB86-20DEF32F8172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1de2bf7bc065f1c1a4270cbeffe69634aeb212eb","datavalue":{"value":{"entity-type":"item","numeric-id":1090674,"id":"Q1090674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$CBA413C0-AA26-407F-912B-7EEBC6FF6D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b5c177f960c825e2d8a8e65facd060b71574852","datavalue":{"value":{"entity-type":"item","numeric-id":6602220,"id":"Q6602220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$4D34E8A0-BF82-4315-9435-F93A0D37ACD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$44F4B45C-271F-4962-94D9-86DC01E23A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2afe3502dbab4407b2c896a4dc9630d62a309c6","datavalue":{"value":{"entity-type":"item","numeric-id":6829570,"id":"Q6829570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$E4AFA418-485A-42E7-8169-4765C2F0414F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8da2bfcf6ab9b3858f27436b7dbb84132afb6014","datavalue":{"value":{"entity-type":"item","numeric-id":744990,"id":"Q744990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$E6A582E4-8546-43DD-92FF-B5052D28F424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26d742ed801db314239490ed6fc1c547af4379ad","datavalue":{"value":{"entity-type":"item","numeric-id":2373949,"id":"Q2373949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$77F569D7-0567-4412-91EE-E9D5B8E56CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f71c1d2b8f877342d1f75eb537c5f2e4c2476de","datavalue":{"value":{"entity-type":"item","numeric-id":4928710,"id":"Q4928710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$B2A3C286-B88E-4300-BDE6-D285D0CE2C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28ac66a35b23904df7ed0d46606cb0ba887b411","datavalue":{"value":{"entity-type":"item","numeric-id":5728439,"id":"Q5728439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$A85FC5A3-E552-4102-A351-B934C9898B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aea61d19be0fd503b2e8b946fa9ef44ecdc351b","datavalue":{"value":{"entity-type":"item","numeric-id":1777640,"id":"Q1777640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$E6E619BB-8409-4BFA-97C7-A9DE779729AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfea43aded2479ac21730ff47e6c42135cdad0e","datavalue":{"value":{"entity-type":"item","numeric-id":2351164,"id":"Q2351164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$179BB49A-4C0F-45B2-A879-91DE6A7C0A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$06FAA2A4-17C9-47CF-94FA-C965414BFE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80853db170e525c88c244265a91e8196739997ae","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$F2E361CF-4DC7-461E-A886-6DD942B265A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8282ae76075de46eda753bf93260923ef326c373","datavalue":{"value":{"entity-type":"item","numeric-id":6601769,"id":"Q6601769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$29ADB060-7D0C-42A1-8389-D0DC947C0B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6e9e1d18538a056cdf8780264c2c8e00f6d132","datavalue":{"value":{"entity-type":"item","numeric-id":764309,"id":"Q764309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$AED7A017-CF29-459C-9B5C-11CEE9B209F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d5fd92f1ca04342fdad39d66fe038125cb05d6","datavalue":{"value":{"entity-type":"item","numeric-id":5175691,"id":"Q5175691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$3CE8D953-0C0A-45B1-A8CC-797B8BE57CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a0ca1d65125ac2719c77cef75c106a425833d05","datavalue":{"value":{"entity-type":"item","numeric-id":5805951,"id":"Q5805951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$2585D5CD-840D-436A-86E5-228BC564B6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e089e89ebef108ddc0fd54df1c577763e08ebdf","datavalue":{"value":{"entity-type":"item","numeric-id":1037600,"id":"Q1037600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$17B4DA97-14F9-4479-A1BA-38F4A700DA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$14BAC0A8-B8E2-4324-B941-FE13276891E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05b88e8939da5afe0e37d672faef2e7bfef9975","datavalue":{"value":{"entity-type":"item","numeric-id":2254557,"id":"Q2254557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$4544A17D-D53D-4D76-B186-78DA2C802526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$C987D3CB-4614-4AE3-9F03-722CF78387FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09eec88d5a32cac19f58c73527937b763d0896a9","datavalue":{"value":{"entity-type":"item","numeric-id":4737137,"id":"Q4737137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$423A80A1-BF51-44BF-9FB6-B554FFA5F17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$E0875D3F-BEF5-41EF-AF7D-C4A223B06500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f97bea30158b6541afb5c687d881ce55ad6918d","datavalue":{"value":{"entity-type":"item","numeric-id":3643258,"id":"Q3643258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$58D6E005-0642-4B99-AEC1-CAEAC61D41EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8905aa6df4ef03ddabe2310c7d3b80be89d7e1","datavalue":{"value":{"entity-type":"item","numeric-id":1931339,"id":"Q1931339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$53305208-C13C-449B-9406-14A115154D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$25B2C672-99BD-42A2-AE2C-939EB230C095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c8fc48da70d9cacfdb4e9f8862e39feda424e4","datavalue":{"value":{"entity-type":"item","numeric-id":1688710,"id":"Q1688710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007785$7D63598E-3FD5-42A9-B166-F7CB3789A420","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Labelled proof systems for existential reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Labelled_proof_systems_for_existential_reasoning"}}}}}