{"entities":{"Q4948542":{"pageid":6978124,"ns":120,"title":"Item:Q4948542","lastrevid":46906692,"modified":"2025-12-25T20:13:08Z","type":"item","id":"Q4948542","labels":{"en":{"language":"en","value":"The complexity of decision procedures in relevance logic II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1429786"}},"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":"Q4948542$D7C54454-BDE8-456F-A153-3AF874A7F5B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a5d376dae91cf5a2b5c4518c9b203e2850988b0","datavalue":{"value":{"text":"The complexity of decision procedures in relevance logic II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4948542$6406EEF8-288D-4290-B8E0-61FDDE7172EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"810826f58c18f7ad01f8367aa3380e85ac824287","datavalue":{"value":"0945.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948542$5924EFD2-C4F1-48B4-8D21-5E8A3DDC3836","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aca377cf0e3d212f9a0415657ba8e91bf77f15e0","datavalue":{"value":"10.2307/2586811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948542$6D15EF8C-DA00-4042-9B8F-C37194097AC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd6a40ad54574dfdc72407e5223fefee18b3ec7","datavalue":{"value":{"entity-type":"item","numeric-id":647404,"id":"Q647404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948542$6E31E383-554C-40F3-A0F7-423DB7B6414D","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":"Q4948542$974BA839-3552-475E-B0AB-A8111ACAEC6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3d4a5de706fe67bee6a28bc2268d7c1be058675","datavalue":{"value":{"time":"+2000-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4948542$51C6DBC3-4BA7-4D52-A8B5-A04590DE40D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948542$9E21307D-F3C1-4207-B9AC-F1E058E27AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948542$FA35CBD2-C9A4-4BA5-9D4D-3CDA011F2CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948542$3132EB2F-70A8-4082-897F-AF629D0CF4F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37e03ecafbcb0aa8a62d6a490034f2fd5a2d3643","datavalue":{"value":"1429786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948542$5F7C41BA-0979-4013-BF8B-9EDAB87C25CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948542$95E681F8-314B-44DF-B3FF-F6A1FF3D3511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a69bda7e7dea4f3888957e539261915a9f5a73","datavalue":{"value":"implication-conjunction fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948542$52BFC1B6-C1B7-4655-9846-5D84BBCAEF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feab0c902e0dafbf4dae6ac8f82b95582ad095ba","datavalue":{"value":"lower bound on the complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948542$4FAB5281-D481-4A70-824E-BACFB4EBEB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"817f91d754a6618dd027e0d851a1fc8b7cbc7134","datavalue":{"value":"upper bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948542$63C2F360-B92A-489A-A0B2-E666DF313F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c366d9e44e0d6a9e2cdc753868eab05ee1b2ecc","datavalue":{"value":"Ackermann function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948542$21D82159-97E2-4917-81CF-1120152A8527","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ac8154d930337e59665641772148e0b064b4cd11","datavalue":{"value":{"entity-type":"item","numeric-id":13904,"id":"Q13904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948542$E8B78645-59C0-43D1-A0BA-B5B165BA5AEE","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":"Q4948542$074A1BB3-6675-47ED-A75E-B871116DC62A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c29b35e6ebf5367285a2302d0c467bbe4fdd87b2","datavalue":{"value":"https://doi.org/10.2307/2586811","type":"string"},"datatype":"url"},"type":"statement","id":"Q4948542$DA5F9F26-D4B0-4AA6-BE2D-11113B869053","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7310596761c973ad92ec91056621ea96ae1820b3","datavalue":{"value":"W4234015612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948542$93A01528-E013-434F-9742-7BA9694AD8F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948542$191B6EC3-F5DB-44BC-A8AB-D2234A9F94D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948542$A871453F-02A4-4CA5-AD0F-7AFC0ECF9E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0472dbb9460a41709f6cf9fbcdb326f4bea9d4d7","datavalue":{"value":{"entity-type":"item","numeric-id":5551469,"id":"Q5551469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948542$010948C8-E3A5-4D7F-8CEA-A67436483D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10670e83ac257a39006aad416722f9e5f2826687","datavalue":{"value":{"entity-type":"item","numeric-id":5519120,"id":"Q5519120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948542$8E9DFCDC-22B0-4D4F-A7FD-A4809A1C658E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc31a9f01623662fcd1d5e33286024595c35768","datavalue":{"value":{"entity-type":"item","numeric-id":4113803,"id":"Q4113803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948542$A36D3427-E912-4E81-865B-920E965AF3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948542$8DEB60E4-F642-4C0C-996F-F3430EACCA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948542$9E680456-6332-432C-ADE1-4119CF4BF099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3959ffb868545a66d56438fcd6e21698cad3375e","datavalue":{"value":{"entity-type":"item","numeric-id":1060848,"id":"Q1060848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948542$6B1B9F20-8808-47FD-BE79-40948ADA0E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ec5d09b5c750f80e0bef8173b6beb42d02f375","datavalue":{"value":{"entity-type":"item","numeric-id":3912016,"id":"Q3912016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948542$84AD52F0-61BE-483C-B7D6-D28BE4A1F506","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966babd98e768c93a518015a70490aab9f42ac29","datavalue":{"value":{"entity-type":"item","numeric-id":4263800,"id":"Q4263800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8531ea568d5a294f3d4d237b2999096ddd230658","datavalue":{"value":{"amount":"+0.8415260910987854","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":"Q4948542$F135D352-C1E0-4250-9E15-65303945B72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb9083894e6a6ee813cdd8de0842fca44feeed6","datavalue":{"value":{"entity-type":"item","numeric-id":1072541,"id":"Q1072541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c401423170cd67381178df87453789f0f204bf","datavalue":{"value":{"amount":"+0.8256741166114807","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":"Q4948542$BB9154BD-DE85-4993-8329-BE3D5967CF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd55ae9dcb65cece843adac76d4c010995d636a3","datavalue":{"value":{"entity-type":"item","numeric-id":4459272,"id":"Q4459272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f348022ccf02d74a8358224b880c542325917e","datavalue":{"value":{"amount":"+0.8152809739112854","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":"Q4948542$02AC9ECB-1834-436B-8C29-85DAA46E08A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320d9ebc7d73e9335f687d11eb1828895a940670","datavalue":{"value":{"entity-type":"item","numeric-id":5919012,"id":"Q5919012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad6dd1d1f9ae5ea134b80e8d04c67c8ae825ef05","datavalue":{"value":{"amount":"+0.8150107860565186","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":"Q4948542$E29A26B9-B56D-49F6-A358-0A5600DDA29D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4948542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4948542"}}}}}