{"entities":{"Q4779649":{"pageid":6809229,"ns":120,"title":"Item:Q4779649","lastrevid":74461221,"modified":"2026-04-14T22:39:47Z","type":"item","id":"Q4779649","labels":{"en":{"language":"en","value":"Representability in second-order propositional poly-modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1836125"}},"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":"Q4779649$B8CDF2FD-208A-4895-A32A-C7EE7EAD2232","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"706b93e4486a3c54c2cdd0931a8307f70523cba9","datavalue":{"value":{"text":"Representability in second-order propositional poly-modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4779649$B382817F-5FAE-43EB-9EFA-EF99F1A91F14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ae97cb712a818903c21e52a5250cf3cd355dbcf","datavalue":{"value":"1034.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779649$096B0C8F-1B3D-43E2-BB12-D0EC23244D95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1472dc2d6dc52976f36e82d4bba669d73b73a94c","datavalue":{"value":{"entity-type":"item","numeric-id":302247,"id":"Q302247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779649$B9125E2C-5979-46FC-BA2B-21577AADF478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9c4fc41e0193b05a18eced3ceac939577eb186f","datavalue":{"value":{"entity-type":"item","numeric-id":1333308,"id":"Q1333308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779649$A4CAEF2D-81F3-4E29-9DE3-93B7D3B511A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779649$68C65CC7-9558-452A-A923-B327CC278D64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c6427ff9a626f686c7f1def93b416dba0b5871b3","datavalue":{"value":{"time":"+2002-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4779649$1A30D15D-CA2B-4DD8-B280-1F169956FDDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779649$7B91D545-B524-45B1-923C-8B7C3E51B2E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b95db7ddb902a0c173ba792b00ecffd631503996","datavalue":{"value":"1836125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779649$28F50D3B-77E4-4397-9232-C26B4C65393E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779649$4F90AE15-6D8E-4A59-B9BE-9CE1E287A786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba1b30f7f62ced5cbd85c5a1b93c1c6670509d7d","datavalue":{"value":"multiple modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779649$6BDC8EA7-583F-463A-9ACE-755411108888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779649$258C7B8E-A4A6-41E7-8385-3B3DF625FE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f797978986a166e5aaa818c2311357949abbdb","datavalue":{"value":"second-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779649$31CA64A3-3F54-4F89-95B7-EBA2DE551CD5","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":"Q4779649$A7E6EF9B-46D2-49D6-BBDF-18ED9C2DF09B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93850968b7afcd70aff4f3d78b7e60d0716c9d69","datavalue":{"value":"https://doi.org/10.2178/jsl/1190150147","type":"string"},"datatype":"url"},"type":"statement","id":"Q4779649$7447A871-F18C-47F1-ACFB-D5B2133B1086","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"410322dd4e05a932bed33ee7236bfd5fab522162","datavalue":{"value":"W2124207901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779649$C3FD201A-E658-4268-87C2-CCCFB481FCBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b2673bf036beb0708e9a25319f486f5c7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2651970,"id":"Q2651970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779649$6D27B819-0736-45C0-99CB-93C4A4F85E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779649$E4E28F01-C9F6-48FA-A7AC-31F9B0C68B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adcd56a0617efad5383d484676cc25701bc6e22","datavalue":{"value":{"entity-type":"item","numeric-id":4358053,"id":"Q4358053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779649$E6E67F08-FB1C-41EC-8885-3AE6A1EA7CFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8094c3c816c475997e0b2b3693be2081ed121ea8","datavalue":{"value":"10.2178/JSL/1190150147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779649$F2318EE2-09C1-44ED-89C4-833C476D46A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab5bc4e7ab5e744d3041a47d0969255471ea5dc","datavalue":{"value":{"entity-type":"item","numeric-id":2499295,"id":"Q2499295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"552bd17215dba5394f0b1d6fc9af54538c0e7fc2","datavalue":{"value":{"amount":"+0.7888609766960144","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":"Q4779649$29F132B1-EDE2-40CB-BE46-8D02A0DBF4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df18e32cb866610bafd8f3cf31f6ee81c97a6bae","datavalue":{"value":{"entity-type":"item","numeric-id":466445,"id":"Q466445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"962175739e7ebaf7192bdc3e736599027239a43d","datavalue":{"value":{"amount":"+0.7794288992881775","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":"Q4779649$4A5D12DA-62AB-45E2-8108-9A7CB1A367E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6a0c6c4fe0575a508981bf3e7a50a9eeeecde3","datavalue":{"value":{"entity-type":"item","numeric-id":2055931,"id":"Q2055931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee03be3743dab6cfd5a6e9672666c3635197a9e","datavalue":{"value":{"amount":"+0.7749404311180115","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":"Q4779649$4B69DD4A-66A8-4D6F-BE40-95FE8A3634E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f628b48803ccaf43238230d07a1fbbccec6cf4","datavalue":{"value":{"entity-type":"item","numeric-id":1924326,"id":"Q1924326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daf7bcdeb8f2c4286936075f7e856e9322af422a","datavalue":{"value":{"amount":"+0.7741690874099731","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":"Q4779649$0BB6086A-A1C2-47BD-8E50-1B7AA6780EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae4b430be606e38555c56149aa3e102f268e3d33","datavalue":{"value":{"entity-type":"item","numeric-id":4694250,"id":"Q4694250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daf7bcdeb8f2c4286936075f7e856e9322af422a","datavalue":{"value":{"amount":"+0.7741690874099731","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":"Q4779649$55A7B7C4-8D51-4E71-94B6-AA232E924652","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representability in second-order propositional poly-modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Representability_in_second-order_propositional_poly-modal_logic"}}}}}