{"entities":{"Q313007":{"pageid":314774,"ns":120,"title":"Item:Q313007","lastrevid":52619567,"modified":"2026-01-23T03:05:44Z","type":"item","id":"Q313007","labels":{"en":{"language":"en","value":"Tableau reductions: towards an optimal decision procedure for the modal necessity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6625833"}},"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":"Q313007$F096A00E-48DD-48A0-802F-58F7F89D689B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5d61e268dac0dcc9281de76d28816daa3530583","datavalue":{"value":{"text":"Tableau reductions: towards an optimal decision procedure for the modal necessity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q313007$36420A12-8741-4BF2-A1AE-25A1432DC21C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b3bc8edcc4a73abcf2e90a9afdbf00dbf9b19ee","datavalue":{"value":"1436.03132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313007$5EF73E7D-A7A6-42FB-B5AF-F261474ECE27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd1f466985cf8143741f29cc3aa6e4e8a4f57c99","datavalue":{"value":{"entity-type":"item","numeric-id":284217,"id":"Q284217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313007$496788D5-D334-4D8B-9230-3F42E93FEBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2822ecd71563ec0897253c83fa7ead655a842154","datavalue":{"value":{"entity-type":"item","numeric-id":313005,"id":"Q313005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313007$B4C38BA9-A2D1-41DB-AFD4-188DE960760A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521234494bdae7b26940ef5cddbc24c353586822","datavalue":{"value":{"entity-type":"item","numeric-id":246590,"id":"Q246590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313007$1C1FBF75-2166-49F4-BAD9-41FA6F9869B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313007$29DABBFD-A37C-4EDB-9664-7B34E4053672","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a92f0ef72cfcb252a53db66962ae3118731f7fca","datavalue":{"value":{"time":"+2016-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q313007$D785E1F6-5A34-40C0-8115-810ECA10A77B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313007$8F6BD20F-B232-402F-9B68-73205C6313FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313007$0D023171-39E6-4419-A0DF-5D0410AEFF5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a07e642104dd39fe236afb04b45137b79b1c5e0","datavalue":{"value":"6625833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313007$3C517D6A-E6BE-4998-B1AC-A43FBF4B026E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q313007$F7E6F12E-3697-4D05-AF6B-12A789E415BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3ac5f87c2452a4bb9221668c72755935919ba5b","datavalue":{"value":"tableau methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q313007$91747930-4415-49FF-BB27-642153C87396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q313007$94BD4968-5D72-4B81-9982-3F814DDD7A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe76182495011f4e7845dd99602e42f3f6483293","datavalue":{"value":"prefixed tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q313007$D1AED801-5711-44B1-9849-193171C5A9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc6ee2f9f0dc35b6615957b2d850c7f1b7aed4d1","datavalue":{"value":"global assumptions problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q313007$E298D795-4381-4D2B-829C-9B109B50CA52","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":"Q313007$07061080-3131-4AC2-B3ED-4BD32D6CBC35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90df8a6f48a572051d238e137e0d78619d606f9a","datavalue":{"value":"https://doi.org/10.1016/j.jal.2015.09.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q313007$5EAEDA05-BE5D-46CE-AEB5-B7C1C35FAB15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aeeafa4c97ce31bba0dc97bc6a48565b093f3694","datavalue":{"value":"W1639560892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313007$B783697F-991B-4FA6-8FAB-55ED2A06EC95","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b633d11ebda4c5438306635ab8be2460c0d1f8d5","datavalue":{"value":{"entity-type":"item","numeric-id":3378195,"id":"Q3378195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313007$C8989D9C-BCFA-4B06-B778-A7D52D82C425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313007$7B2241FD-1563-4CAC-B434-C50BE42E4C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44bd1350cf0fc8f9e00d7a0974aece2c5c21f0f4","datavalue":{"value":{"entity-type":"item","numeric-id":386620,"id":"Q386620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313007$E26428F2-81AE-4776-A093-7809AC755E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313007$F99CA02D-FC3E-4923-B2B4-FE0FCD3BF04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd24b076740c9690d46340d8cdd4b7fc88f4a67","datavalue":{"value":{"entity-type":"item","numeric-id":3397155,"id":"Q3397155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313007$37F7FF78-4804-4C84-8C4D-8D2BB6EC37A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec1d0fdd3fd9fde2d7e31c1dead171c9fdc9a74","datavalue":{"value":{"entity-type":"item","numeric-id":814504,"id":"Q814504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313007$35E264DF-C4EA-4814-9A91-488B2A592C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164d5958e5083b10f8e82ed42140727a0ef780a4","datavalue":{"value":{"entity-type":"item","numeric-id":3972527,"id":"Q3972527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313007$FAA26017-6091-4AE3-BAE5-7A65DAB5653E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cedbfc1175cc1cb9d5392094524e72f09fae6e4c","datavalue":{"value":"10.1016/J.JAL.2015.09.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313007$7189062E-D365-4076-964E-141112AC8A63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1334e3a218fd215d442bfd9d984ae09e2b208b","datavalue":{"value":{"entity-type":"item","numeric-id":4922857,"id":"Q4922857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15a80de91022d37f712ebe8db65a6f14a593e2c5","datavalue":{"value":{"amount":"+0.8221455812454224","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":"Q313007$966E9008-1F19-4123-A743-6B5521F9098C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0880741158d84eb29640cb90b51534b87870c33","datavalue":{"value":{"amount":"+0.7921155691146851","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":"Q313007$BFFACE28-6F73-408D-A04E-81A2BC0E2323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e4fe8f73ff191de4c3ed94d8eece7306d7ec7e","datavalue":{"value":{"entity-type":"item","numeric-id":1854375,"id":"Q1854375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf45ebddcf13e53412d491dc6f263e0170fb7ebe","datavalue":{"value":{"amount":"+0.7715417146682739","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":"Q313007$9C6269F6-A8EC-4155-897F-AA269FE17393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30beed1410737f28ed5f3206bd8813ad3f426e53","datavalue":{"value":{"entity-type":"item","numeric-id":4941911,"id":"Q4941911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c9b679bcd214efe59d8545113e2e44c7303371","datavalue":{"value":{"amount":"+0.7657166123390198","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":"Q313007$59C59592-7C37-4686-89FA-2175CE25712B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e41072e861f72b3f62d9e622b3f1127307a419c","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a05a5b25aa8a30fbcd7a4b9d4854b80f7cfd4c","datavalue":{"value":{"amount":"+0.7565774917602539","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":"Q313007$64391A58-45E7-4F38-B99B-7655FADEA971","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:313007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:313007"}}}}}