{"entities":{"Q392284":{"pageid":394051,"ns":120,"title":"Item:Q392284","lastrevid":61571199,"modified":"2026-04-11T00:12:50Z","type":"item","id":"Q392284","labels":{"en":{"language":"en","value":"Possible world semantics for first-order logic of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244770"}},"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":"Q392284$CAEDC8F7-006A-4170-A397-393CEED75773","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"193c7f365bcc93b0f847cab6828bc98614c0b436","datavalue":{"value":{"text":"Possible world semantics for first-order logic of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q392284$D3A67302-BEFF-4541-9BD1-E6B1225629B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b114c3e53c04f59e0fb770957e1a87f9352322ac","datavalue":{"value":"1345.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392284$216146FA-11D8-483E-8D6B-C85CE6AC88F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392284$E9E92682-4A9B-44C5-A5EA-C8A04227BCD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392284$F8881F9D-B1BE-48EB-9851-8F2B42002997","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a7f0ce9f8644dc92186acf7aa59a26f9b811cbd","datavalue":{"value":{"time":"+2014-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q392284$68A8415E-C7B4-47DB-87B0-7177DDD4743D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392284$66521E29-7DB5-4DF5-8E8A-6AE23CACE052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392284$48779A8B-CED6-4A67-9F64-B8D0A0297012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392284$013AE23E-1995-48A3-A046-F310F2BA2B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392284$E7AAFCFE-75CE-4BFB-A6D7-5D1EC974997F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd9563de2663e1894a5ba8dc65ecb33f5742937a","datavalue":{"value":"6244770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392284$C2361734-9CF9-4A34-8D08-78FF38817883","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q392284$0440BB87-502E-43D5-A0D6-87F14B3EE40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q392284$AB37E1E8-F7A5-42BB-8167-64DBDDB69943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f1f60cf51a9bbaa8c7535bb288b74f59430855","datavalue":{"value":"possible world semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q392284$B91205D0-6D65-4916-823E-741D70D6630D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q392284$E2B1410D-E61B-4F52-A120-AEA1CD3CA9DC","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":"Q392284$28C8DFFB-AECA-4C13-963E-257484882A5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d00e56737877b7a2639bb0df21acb4d7e54f9cc","datavalue":{"value":"https://doi.org/10.1016/j.apal.2013.07.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q392284$522D4A1B-1D08-459C-8789-B55D0F28E41C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7384405b167a894f2fce1ad10a13bd93255ec3b0","datavalue":{"value":"W2002106559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392284$D3126909-65CB-4D54-9EC6-FE0AD671731F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392284$0F3EF159-18F4-45D3-B7F0-12436B8E1C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784d500dac6a0c794215d9cef69a190e7f0e7226","datavalue":{"value":{"entity-type":"item","numeric-id":3580683,"id":"Q3580683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392284$84E9D373-BF09-4DF1-A9F6-398683318B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dc9f77118731d07defbe2b73ecd4ccb123bd5e","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392284$50DC9A58-54F0-4300-972A-F5822C0F82EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfbfd3fd8285c1b250d4a94e1be2061d1444016","datavalue":{"value":{"entity-type":"item","numeric-id":4376067,"id":"Q4376067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392284$3D3BDEF7-E661-412D-8D97-08D039F6F407","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56eafa96ad1a90b84d30fae60dbae2fa490d86bf","datavalue":{"value":"10.1016/J.APAL.2013.07.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392284$0C49F0A0-A757-40A7-B0D7-B0D2F86F83E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d6d293412ec27137e9c499546b1328aad012c7d","datavalue":{"value":{"entity-type":"item","numeric-id":3133155,"id":"Q3133155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05efb0f6e23cc5d4b2cc0a737a9b9f7f1148fe1d","datavalue":{"value":{"amount":"+0.7960433959960938","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":"Q392284$41711CB2-3168-4B0B-9C2F-EE377DA7A632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f0206eee7ec92afebd05ca513872623e5a8e30","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9dbdbf1aaa603f784ea632834f58717e989ee49","datavalue":{"value":{"amount":"+0.7899548411369324","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":"Q392284$13079054-A626-4191-975C-56845AF4F4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f9e41458dfc0f04035f722eb020181ff48d878e","datavalue":{"value":{"entity-type":"item","numeric-id":4534366,"id":"Q4534366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88baa16e67195a39e090131f879f9ddc41398c25","datavalue":{"value":{"amount":"+0.7616285681724548","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":"Q392284$8AEFAB64-C808-4F03-BED6-EE5BA3B11452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121f9e2ce3f64d7b853e7d0e3a801cfe0453f321","datavalue":{"value":{"entity-type":"item","numeric-id":3173324,"id":"Q3173324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88baa16e67195a39e090131f879f9ddc41398c25","datavalue":{"value":{"amount":"+0.7616285681724548","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":"Q392284$32F7AD29-0CBC-49D1-AD01-138876487C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90ab663875c7c8317669cbfa1f597cc59f7ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":5294019,"id":"Q5294019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f1b7571d1229a835ceaafe5f26c5acc83194279","datavalue":{"value":{"amount":"+0.7601379156112671","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":"Q392284$017544F1-8150-4588-8FCD-914B319997A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Possible world semantics for first-order logic of proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Possible_world_semantics_for_first-order_logic_of_proofs"}}}}}