{"entities":{"Q3147362":{"pageid":3158078,"ns":120,"title":"Item:Q3147362","lastrevid":45552718,"modified":"2025-12-10T14:02:00Z","type":"item","id":"Q3147362","labels":{"en":{"language":"en","value":"Free-variable tableaux for monotonic preorders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1802912"}},"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":"Q3147362$82EA4F44-7507-4D3B-939E-0E09A970753E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a82d3799007f69cd4446bff7478ae42f64c47ab","datavalue":{"value":{"text":"Free-variable tableaux for monotonic preorders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3147362$16BA19B8-9CFD-4983-AB8B-3CDF94659035","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0dd1b0689e8d444a8b23329bb4e4039d2a22463","datavalue":{"value":"1009.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147362$58174308-BA00-40B9-97EB-0E7662997E2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e181eee6578de5067388c385aeadba20b062e371","datavalue":{"value":{"entity-type":"item","numeric-id":167073,"id":"Q167073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3147362$B8384120-FACA-433E-8722-6846838CAFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35e0dd5ae5c0ccbb72392a98556209fe2cb92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":167074,"id":"Q167074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3147362$460383B1-B0CF-4557-BE74-CF2DC942F786","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e64093db8c173bc6e1e8974eec52f604d6a4c9e1","datavalue":{"value":{"time":"+2003-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3147362$2FA70AAF-5B42-4566-9746-86F338A8AF40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147362$18DB7CA1-A437-4F52-8F81-96F9CDDA4D46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39066c8674b1eb524986304878767f16a99b8fbc","datavalue":{"value":"1802912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147362$B96DDC54-B1F9-48AB-BB19-FAFFCC88269E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db210819cb2af9cd514ba90f6252ba56b0375daf","datavalue":{"value":"free-variable tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147362$931A6CFE-612D-43EA-9955-C33E69317CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adbad75c1d7fc4c8c22693fd43373e0b4c9508a1","datavalue":{"value":"preorders","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147362$6F863D6F-022E-4AF6-9FA4-BFEE3AFEBF45","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":"Q3147362$A18D34E7-49EA-4765-8DDB-D5FF59FDE871","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0277b399d018a07364d8d6bbfd0580e798bae77e","datavalue":{"value":"https://doi.org/10.1093/jigpal/9.6.813","type":"string"},"datatype":"url"},"type":"statement","id":"Q3147362$700E271B-68FC-4B3A-A805-6DF7740AEE27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f47a1b0318fdd79b4f262e93d0590ebe05ad9e55","datavalue":{"value":"W2028856788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147362$29EF582E-9C01-46A9-B392-4D4ECE914D67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78428fd2d1593437e78be07e4d7ee8b02ea26384","datavalue":{"value":"10.1093/JIGPAL/9.6.813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147362$4CEABF36-DF79-4403-827C-85370E96AE9E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3147362$66EB9304-01BB-48FB-BA34-9E9C19F926B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03b571a2d3abe71033fa925b17b29bc17c01eea9","datavalue":{"value":{"entity-type":"item","numeric-id":2721204,"id":"Q2721204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcc0fa6553b90ddd53f3c3d22584cdfc90930b75","datavalue":{"value":{"amount":"+0.990296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3147362$E76B5D8E-EC90-4389-A6CD-2278280D570F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789cfb79965b5f4559c74bccae720c90818510b2","datavalue":{"value":{"entity-type":"item","numeric-id":4375634,"id":"Q4375634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"800a0cccf37a6dca21bc625978bc1acc8824fc89","datavalue":{"value":{"amount":"+0.92772996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3147362$62483EE5-9E94-4C89-BB03-F48483927049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f2aa6d7cd8e37b7aed6011aa8f724ef9a9f381","datavalue":{"value":{"entity-type":"item","numeric-id":4640331,"id":"Q4640331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5828a2c883de8cfecb66babbe9e9d7fbae139820","datavalue":{"value":{"amount":"+0.86227137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3147362$AE657C90-46FE-4D66-B21C-B0CE9A4D8748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1d683ef670cfe0396ca25a3659cc0c6554128d7","datavalue":{"value":{"entity-type":"item","numeric-id":4539640,"id":"Q4539640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff0a08ea6bee4fb3fb4acbcd2c39b764e62630c","datavalue":{"value":{"amount":"+0.8582879","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3147362$B7F708FF-F7A3-430A-A37E-E24F712ACA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5dc85744a58895b351d6c7f27ac3cdc3127642","datavalue":{"value":{"entity-type":"item","numeric-id":4610325,"id":"Q4610325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab626f2f264a5d4e42a584345987c62fb7d7e31","datavalue":{"value":{"amount":"+0.8448814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3147362$2110429A-2984-4A78-86E1-B3C90CCC352E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe4ebdc040be5d714273185fc7c23ffe9dbefc8","datavalue":{"value":{"entity-type":"item","numeric-id":2084936,"id":"Q2084936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb8d885c3e3687edaf07680e3101aac380b3a5b6","datavalue":{"value":{"amount":"+0.8444289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3147362$C8113C5E-472F-44D1-B7CA-99253D731A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdfbcc04764b13537f13a8b4cbc496f3e3252104","datavalue":{"value":{"entity-type":"item","numeric-id":4263022,"id":"Q4263022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"255a40aac98bbdbfe0b9d40bbc1d21fcf1f179e8","datavalue":{"value":{"amount":"+0.8434408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3147362$7CBA16E0-5212-43AD-9833-58F059F8D729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39be0ff7a94ae10fc754662618a70836ed9a9173","datavalue":{"value":{"entity-type":"item","numeric-id":4610317,"id":"Q4610317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbb71b1be789795aa1fbfd1f9809fee22f7da81e","datavalue":{"value":{"amount":"+0.84038955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3147362$9C7152B8-3941-4C47-9F17-930DF83BD531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9aca801e45104d018cece8c6ef7c18a9253a8b9","datavalue":{"value":{"entity-type":"item","numeric-id":1176097,"id":"Q1176097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b03a26c9e658911b932e76413d5b10d5341a2f","datavalue":{"value":{"amount":"+0.83855766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3147362$601F2441-7DF5-4760-B552-54C263C8D9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22106a3347722ff447633be5ecd41dc1716c09a","datavalue":{"value":{"entity-type":"item","numeric-id":5955622,"id":"Q5955622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42ad3552371a6f78549fc9b6da531619f133fd2c","datavalue":{"value":{"amount":"+0.8381375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3147362$A2F39D49-6CEF-4BB5-8721-F42D27A4E951","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3147362","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3147362"}}}}}