{"entities":{"Q4796510":{"pageid":6826090,"ns":120,"title":"Item:Q4796510","lastrevid":74653992,"modified":"2026-04-14T23:46:32Z","type":"item","id":"Q4796510","labels":{"en":{"language":"en","value":"A Systematic Presentation of Quantified Modal Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1876808"}},"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":"Q4796510$354EEBBD-C054-46A1-AFCD-3097DADB8E9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97aa7aeadc5468d5e21374ddece6ffcbe9e3258e","datavalue":{"value":{"text":"A Systematic Presentation of Quantified Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4796510$E2080B06-83FD-4127-B8A2-69A024D3638A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8801951ef1dc50e5db808569be7fc728945c6f7","datavalue":{"value":"1019.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796510$2B29A9A2-E190-4925-891E-9D276E5C2EBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ebcd26f860b44bfba2e9bedcf5b19eb2d71483a","datavalue":{"value":{"entity-type":"item","numeric-id":814471,"id":"Q814471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796510$3E0E7973-6385-4222-ACB8-9E00EAC4DB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6df844f896d888573d76c54cedfde12049f28d2a","datavalue":{"value":{"entity-type":"item","numeric-id":540693,"id":"Q540693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796510$01766B08-569E-4702-BD8B-A7162D7EF576","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4796510$37599028-2B00-443C-952F-B84471868BC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef468b3c85b6d3f8378bffd98acfbfed8fc56675","datavalue":{"value":"https://semanticscholar.org/paper/57efe569de39ce5534ec431e952460197a1e900b","type":"string"},"datatype":"url"},"type":"statement","id":"Q4796510$40C25A37-BC27-4BC9-8558-F29DB84E314D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796510$457A3413-587C-4534-8CAB-C93C288F3B13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54fce85ad24037a64ac355ce596c8aef4ea2974e","datavalue":{"value":"1876808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796510$A712AB79-E679-4281-AE80-50C5DB016C7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bd9c82e2289413df0455a94c9abb74bf80d116b","datavalue":{"value":"labelled sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796510$DAD1B243-9346-467A-BD2B-9F9EB449ADD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e822bd7d762b9df3ad977b6c136ac779517781d7","datavalue":{"value":"quantified normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796510$54D910F7-6266-4E73-B13A-F6CA824CC27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796510$809EA223-A2AE-4A0A-819B-984DCA8477A4","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":"Q4796510$F9ED3F6B-F776-41B7-88CB-5CB2EAD672B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4cd05166114cb431b422d7f48b6f6a9e60357e2","datavalue":{"value":"W2051730154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796510$330C57A5-C86A-4F45-9D4C-948A6968263B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69c0a0bc4361675442aa317d0af8dc1c981c57f0","datavalue":{"value":"10.1093/JIGPAL/10.6.571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796510$8E98209F-BB86-40A9-B5E4-04163EF345FE","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":"Q4796510$74BCEAF2-F329-4739-8C32-7FA8F66D2031","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f883bbda5a1d7ddec759552a2ac24ee6e5ad1e7","datavalue":{"value":{"entity-type":"item","numeric-id":1289100,"id":"Q1289100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2443d95259968bb3af0a2d11b39db14b64560e23","datavalue":{"value":{"amount":"+0.8378685116767883","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":"Q4796510$AC030E93-2F7C-43B8-8037-54110485A4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1be5758624164995209218217ceeac68a9abbe1","datavalue":{"value":{"entity-type":"item","numeric-id":5235254,"id":"Q5235254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2443d95259968bb3af0a2d11b39db14b64560e23","datavalue":{"value":{"amount":"+0.8378685116767883","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":"Q4796510$8D8EEFBC-5919-4A91-B86D-DEDFCCF42334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5ee11be2ba732e85ca002813ecc7dd0be23b40","datavalue":{"value":{"entity-type":"item","numeric-id":5014049,"id":"Q5014049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8de8dadd4fed7c5126dfef07996198965917e3c8","datavalue":{"value":{"amount":"+0.8240653276443481","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":"Q4796510$6993B3AE-0C72-4228-AB83-2F06EF93024C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621623617ad27b2257ab485b9e9636b0d251c56e","datavalue":{"value":{"entity-type":"item","numeric-id":4304135,"id":"Q4304135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf7604933c47acc98ee342667ef3782f81de898c","datavalue":{"value":{"amount":"+0.7996057271957397","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":"Q4796510$CF1CC089-4467-4C20-836E-572AA2CDE7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a03572de652f67ad7c945fe1f137838c1386c25","datavalue":{"value":{"entity-type":"item","numeric-id":5865562,"id":"Q5865562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4431f0ee22c7425c32aadf0b1ad26ded53b8035c","datavalue":{"value":{"amount":"+0.7955315709114075","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":"Q4796510$A81B27B0-E5FB-47B2-B6DE-0738147696F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Systematic Presentation of Quantified Modal Logics","badges":[]}}}}}