{"entities":{"Q5194965":{"pageid":7224537,"ns":120,"title":"Item:Q5194965","lastrevid":91522085,"modified":"2026-06-04T23:23:10Z","type":"item","id":"Q5194965","labels":{"en":{"language":"en","value":"Nested antichains for WS1S"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105984"}},"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":"Q5194965$26FC64D5-8531-4DF3-8E2F-E6941FEF17FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54c20a8050a7bd851a17107d1c838c918e85a5d0","datavalue":{"value":{"text":"Nested Antichains for WS1S","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5194965$BA6C109F-5E5A-4E1B-96BF-7678B34AE15C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff434d872f3b9c60d8795fb508e6412524548acb","datavalue":{"value":"1420.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194965$7EC02795-82DF-4E1C-9DF9-7D4E22F83A9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5eaed5d67e7bcbf34c086d045551e5bab9bdcf44","datavalue":{"value":"10.1007/978-3-662-46681-0_59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194965$106792D9-A699-4C63-A6BE-834000A83EBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66fc7a244a58c65fce1949cc320994a56e0e3f6e","datavalue":{"value":{"entity-type":"item","numeric-id":1733100,"id":"Q1733100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194965$01A3AA58-2A39-4E67-94B4-D5A23B8FADD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88ff85b194809bca7f50c32cce728497c09fefc5","datavalue":{"value":{"entity-type":"item","numeric-id":300409,"id":"Q300409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194965$5F8EB1D6-33D8-417B-A208-2103F6F26D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2f44950ca7dd1c6c1a3c279ac4a004cf6e7360f","datavalue":{"value":{"entity-type":"item","numeric-id":300411,"id":"Q300411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194965$1F0FF70B-4019-4F86-AE05-603595497822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194965$7E0B1C1E-9419-4F54-88B9-FEE1A3CDCAA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194965$03E0510C-78FF-4EDE-859F-37EB81FC725F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5194965$FA91E437-F8B0-4CC2-B899-DD2FFBC17FA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194965$7A709F6A-826C-4422-8426-76FFD3129073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194965$931B3A21-99C8-4243-AA89-74D41754547D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194965$4142ABCB-453D-4782-BD09-72499648F9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194965$AB81F5AB-3427-4AED-8712-F5A825FF180A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fd5c48336077022ab48d5b9e49d75e03540de50","datavalue":{"value":"7105984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194965$300BB023-2137-4824-B75E-658B79713F4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194965$330AF495-B02C-4EC7-89D0-BCBB77D3915C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ca8c7c8cead4c540d9788b20234085cc9b86447","datavalue":{"value":"symbolic representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194965$5FB42A1C-CAF8-4BFE-8A7D-14437B1839AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84ba88a223d66a255cf717873de1a17d0ae80a1","datavalue":{"value":"tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194965$ED0FEE64-A6A1-4166-8AB2-D7C5A6299981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"207f10c4b49e7a8185ccd53556264d79bbc60a2d","datavalue":{"value":"deterministic automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194965$9EC83C4E-98AC-481F-8916-16B4DA2EB121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2278240e312c8ceb74b374704cc546cc465a92b2","datavalue":{"value":"nondeterministic automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194965$D7419B75-0926-4DF0-9065-19FA4DF48164","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":"Q5194965$1522B096-DD4C-4858-9550-7A5C4ECB3683","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5b0eebd8a8004cf93e7c80ca0804af0fc7da8b0","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46681-0_59","type":"string"},"datatype":"url"},"type":"statement","id":"Q5194965$84975519-1143-4E10-8D81-FED81CFE9704","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ffed9864af45872f6d1f0638f5f8bcb9d2ea02d","datavalue":{"value":"W1591447482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194965$59FBBBA5-3896-49D6-B1D1-EEC50CBB58C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0252afa979a1f326211992152e6eb822d6abc2","datavalue":{"value":{"entity-type":"item","numeric-id":1733101,"id":"Q1733101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fbc3f4e383e0794eb57f4328895f6027badb8ab","datavalue":{"value":{"amount":"+0.9970374703407288","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":"Q5194965$BDF1E9A9-23B4-4C9C-A55A-6A299F37F51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88e7122574b85e44aba4330f45d3b6ba6b39f6ad","datavalue":{"value":{"entity-type":"item","numeric-id":3303905,"id":"Q3303905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bdfc0585f59d4d989f2477c02dfc4d8fc14cc7d","datavalue":{"value":{"amount":"+0.8456907272338867","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":"Q5194965$15795030-368E-468A-AB3D-E535F3038B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61d76d7ea682589926f4accf596ed617da4eeb36","datavalue":{"value":{"entity-type":"item","numeric-id":3021971,"id":"Q3021971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"812ed1bcb4207857d8eb732b5ed3b12f9d311709","datavalue":{"value":{"amount":"+0.7949082851409912","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":"Q5194965$CEC554A1-F6E6-4BD2-9BEB-EB573D0F6412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e1fa7e5f42c719db599cbd7dadf9a5cefeccf6b","datavalue":{"value":{"entity-type":"item","numeric-id":4540967,"id":"Q4540967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d98751bab56edaa5d2be79137919d3f1fba4350","datavalue":{"value":{"amount":"+0.7906715869903564","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":"Q5194965$42BFB958-04DC-4823-9DA9-6BA50360AFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96a492c266f8d63763508771fbba3b92d8128ca1","datavalue":{"value":{"entity-type":"item","numeric-id":4783320,"id":"Q4783320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e67c2b88e30f0a67f6331abb1cb10a403d4fc43a","datavalue":{"value":{"amount":"+0.7418979406356812","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":"Q5194965$C5906F46-A3A3-4623-9FBA-E13BDF384C22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nested antichains for WS1S (scientific article; zbMATH DE number 7105984)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nested_antichains_for_WS1S_(scientific_article;_zbMATH_DE_number_7105984)"}}}}}