{"entities":{"Q5241399":{"pageid":7270967,"ns":120,"title":"Item:Q5241399","lastrevid":56884308,"modified":"2026-03-24T10:43:46Z","type":"item","id":"Q5241399","labels":{"en":{"language":"en","value":"A modified subformula property for the modal logic S4.2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7124769"}},"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":"Q5241399$D35E2C78-B038-45DC-8055-B0CDC31E59FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eeca8b7f1d55bc6c8ea79d2f53c1581d241d4ffc","datavalue":{"value":{"text":"A Modified Subformula Property for the Modal Logic S4.2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5241399$FE8F4044-F022-4758-96A4-F3FFDF04753F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f913bb2dc389d6411651a5aa80ef0fc33f99e9d","datavalue":{"value":"1477.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241399$672F0FC3-8881-4689-B937-4D111CCE40BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"290b3a1182e71044dec19b57334ee4f265bcba51","datavalue":{"value":"10.18778/0138-0680.48.1.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241399$7E8C30FB-386E-41F7-995D-894A97666005","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"718103527fb94c5b8eda2837ebad09b692a833cb","datavalue":{"value":{"entity-type":"item","numeric-id":332075,"id":"Q332075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241399$4B4D1517-62E3-4CA1-BAFD-54E10B2420E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241399$5B891311-4199-4182-B64D-585BF639307A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97e6e40fde11bab71af900bf93cdabd76f1f7c45","datavalue":{"value":{"time":"+2019-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5241399$F050776C-23C6-44C1-B558-2BEC7BDC9574","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241399$38BE9C30-4FBF-43C6-8F3C-99A3593C9DCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b856e3790c3e1dbafb6e15d4b12edc12bfc4bce","datavalue":{"value":"7124769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241399$0BD19418-D1EF-4034-B73A-803467A714B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdc6e14e2c57ce1c2ffe0f60f30ed45d8e10b7a5","datavalue":{"value":"modal logic S4.2","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241399$A2581BAC-AB67-41BB-83DF-49F3094D7268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241399$04287540-A397-42E6-B0E1-9D7CAF1C1888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241399$7C96261D-0725-4FED-9CFD-CFA57E9E70B3","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":"Q5241399$28464DF2-BF9C-4687-A4B5-029E603601A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cbf24e73f3e7dab641956b6af57bd3ba0e96f14","datavalue":{"value":"https://doi.org/10.18778/0138-0680.48.1.02","type":"string"},"datatype":"url"},"type":"statement","id":"Q5241399$99AA58EC-4D92-447D-ABB6-3AFFC90B27A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26d540fc4ba0f5fa4b77d340079bdc46baa2a12f","datavalue":{"value":"W2971745263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241399$D4327126-A0B7-4940-93AB-50890E0A59CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6475b514aff12c8b9ca3d758ad5bd58f4398d7d","datavalue":{"value":{"entity-type":"item","numeric-id":1253651,"id":"Q1253651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241399$90117DDF-97F7-4E64-825A-7245596C94C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241399$ECE90FA7-AB5C-44CF-A3D7-C2FFB5CAFE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"089558e1caef7b0b9211a161d712e4aaafa26225","datavalue":{"value":{"entity-type":"item","numeric-id":4443189,"id":"Q4443189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241399$786E5C7B-0FD8-4B88-BCBF-130CE31CCEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eacc81bf66ff060ee99fa9ba68745c99fbf1f3b","datavalue":{"value":{"entity-type":"item","numeric-id":4627724,"id":"Q4627724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241399$59B0F5A1-6276-4A1A-851D-359BD28B9F29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d822e2522175f89942031286da5caabed2175436","datavalue":{"value":{"entity-type":"item","numeric-id":2027110,"id":"Q2027110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b499235f165a7c72471927fa4056f553c001d7","datavalue":{"value":{"amount":"+0.8403635025024414","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":"Q5241399$A797C85E-01D8-4DA9-A369-2FC185AC77BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ba324036b93d31f414e485680d2f45b54ecb40","datavalue":{"value":{"entity-type":"item","numeric-id":5176550,"id":"Q5176550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"917d585a75dc552b6cb42808156321deb51ada50","datavalue":{"value":{"amount":"+0.8272303342819214","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":"Q5241399$94E59C6A-321E-4E10-8C32-4DDC438AC0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e354a97d84b0a451d66b3d0896b39d2abd5a2a","datavalue":{"value":{"entity-type":"item","numeric-id":5147750,"id":"Q5147750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7253185f38d1c550459bebec0069376bcf75ac3","datavalue":{"value":{"amount":"+0.8263856172561646","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":"Q5241399$351B5A15-3E78-4BFF-BC0F-0E99D2F816BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85009c47187745fb6733f5ffb59550fd21dedd43","datavalue":{"value":{"entity-type":"item","numeric-id":4443189,"id":"Q4443189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f6eeb82cecd4f3a7f0678edd6bbb19483dc4f53","datavalue":{"value":{"amount":"+0.8240028619766235","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":"Q5241399$C5215A69-2274-4184-B33E-8BAB906C322D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc3d685a0a4b1b6f5ce9910f977c7ec16272b872","datavalue":{"value":{"entity-type":"item","numeric-id":4032549,"id":"Q4032549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82500265592a8885d7ffd908795334b4e72f46b6","datavalue":{"value":{"amount":"+0.7989688515663147","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":"Q5241399$298BC263-64F9-4607-ABB8-93E36E2532B3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241399$137E3306-4AFC-4824-81CA-27D334255B92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5241399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5241399"}}}}}