{"entities":{"Q2516578":{"pageid":2527321,"ns":120,"title":"Item:Q2516578","lastrevid":56733024,"modified":"2026-03-19T12:23:10Z","type":"item","id":"Q2516578","labels":{"en":{"language":"en","value":"Natural deduction for modal logic with a backtracking operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6469266"}},"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":"Q2516578$03CA2B40-0832-4AA2-8721-2EAB0AEAD548","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"624ca97d2225bfdebb748d2a6e64bcd349f6249b","datavalue":{"value":{"text":"Natural deduction for modal logic with a backtracking operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2516578$DC78D179-3EE2-4028-BEC4-2F0D3C5491CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e035e4bfa6bf1e6207532bb8c8b5985ee52f0a2","datavalue":{"value":"1326.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2516578$1D755E6E-F92C-416F-AEA9-89A26F92B730","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5f9fe3817d30f531ce47c9e7db74e352a3f4c5c","datavalue":{"value":{"entity-type":"item","numeric-id":2190214,"id":"Q2190214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2516578$7AD7A05A-C5FE-49D8-AE51-53D78EDBDC47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2516578$2B6D6CBF-590E-4EC4-B18D-8DA080C87457","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80468e64804c1b89fefb2ee4bac60a8b1364b55b","datavalue":{"value":{"time":"+2015-08-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":"Q2516578$FC885FF5-5CD6-4F00-9B5B-C99EB9CFA249","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2516578$BCE59419-4D50-41BC-AB5A-8209E258A455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2516578$B1760EDF-9C45-47F7-ADC7-AE4FC0C28AC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a19b3cafc2a0b48abaee44c9cd1dceb05ce4706f","datavalue":{"value":"6469266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2516578$69303413-45C4-4A52-BE50-BA1F0D81F007","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2516578$61B8021A-FD04-4CDE-9ABB-0EFAD3E90401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fe75ecdeef7e0425c4bb1338f9134c5adf0be","datavalue":{"value":"backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2516578$3074E927-D18C-4161-8819-93DD35361E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2516578$6DAE0B05-5A2C-43CB-9158-EDDECBB86DB4","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":"Q2516578$19847F14-134D-4778-BB01-465286570034","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb6ec8a734e37abd844d5ed0a6466cb2d302904b","datavalue":{"value":"https://doi.org/10.1007/s10992-014-9316-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2516578$19BE3CD9-7CC6-42CA-90F4-BEF12E0F5423","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"864e746ae3e0738e4a52b8935e8b7e57f7c382cc","datavalue":{"value":"W2011323205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2516578$15328794-FE71-4D72-884D-39648D52FED8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b781d7d86c765435808eb8a4119aeba7035187f","datavalue":{"value":{"entity-type":"item","numeric-id":801894,"id":"Q801894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2516578$84655797-62A0-4C99-9CF5-D9F109BF0504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c28c70dfab9696e19daa67388df0d992571108","datavalue":{"value":{"entity-type":"item","numeric-id":1036088,"id":"Q1036088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2516578$CAB1D0B0-FF6F-4B1B-9C8E-57F9E7217C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca95ef14cb12b2a11444b96fc929a3d7f17d91c","datavalue":{"value":{"entity-type":"item","numeric-id":5694961,"id":"Q5694961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2516578$1B046BBE-60A4-4B4E-A98C-525DC40EE0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2516578$ABA6BC7C-BF72-46D8-8C63-3F1E8E540EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40f32c9074fb8ce4cee5381207d2c25991065aa","datavalue":{"value":{"entity-type":"item","numeric-id":1220917,"id":"Q1220917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2516578$153C0728-AED6-42DC-BDCB-021ED79C83CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e9d71d01f456517fdfe577004aee41fc4336cca","datavalue":{"value":"10.1007/S10992-014-9316-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2516578$8888948A-2124-4948-8DA6-F4379FCEEE9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849ca33231c4feda7d3112ba6036c47e5d9eba02","datavalue":{"value":{"entity-type":"item","numeric-id":1813231,"id":"Q1813231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd15c9d748958b5e4b62943d1a65d38fd0460a0f","datavalue":{"value":{"amount":"+0.7697269320487976","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":"Q2516578$02780E26-8A64-460D-A693-18EB54BE2F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66ac5ff790815dc83eb94307506f5ec7e50c243d","datavalue":{"value":{"entity-type":"item","numeric-id":1097870,"id":"Q1097870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17fb974cd4fe2ff78ea0dc48734e9b54784d6838","datavalue":{"value":{"amount":"+0.7623825073242188","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":"Q2516578$320B3D83-354D-467C-BA9D-125C999F6F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670e534e0734308496cf4891636d157d96384dc8","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e961f967cea899e25fbfd36da6fbc7a693383c","datavalue":{"value":{"amount":"+0.7352563738822937","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":"Q2516578$D4F83229-4C79-4D55-AF98-B722BDCC9CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24c0a2d0a8faf7e005d2b893339ed612ee0cfcc9","datavalue":{"value":{"entity-type":"item","numeric-id":1903127,"id":"Q1903127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e662dc6e881a0a353b4f4755636dd3b1d8c741a","datavalue":{"value":{"amount":"+0.7298649549484253","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":"Q2516578$C01E92EF-65EA-4E48-A27B-F1F271AE04E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9373fd7b8a9dd06d5693cc9dbe9cc0f12dd60821","datavalue":{"value":{"entity-type":"item","numeric-id":4943267,"id":"Q4943267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dec1e1539a6dce7c6bc8d1ad3fd739c8d85ea70","datavalue":{"value":{"amount":"+0.7190455198287964","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":"Q2516578$934F0CCE-8D0F-4BE3-8ED6-40B4F0442C76","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2516578$37114674-2AE4-459A-9DAF-800F7D08E61F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2516578","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2516578"}}}}}