{"entities":{"Q2947429":{"pageid":2958149,"ns":120,"title":"Item:Q2947429","lastrevid":58066638,"modified":"2026-04-03T16:23:21Z","type":"item","id":"Q2947429","labels":{"en":{"language":"en","value":"Checking whether an automaton is monotonic is NP-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6484748"}},"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":"Q2947429$49482F58-D2A4-451D-A012-4FD5014081E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a977ef1f37404171f8d2465fb64184776ef44709","datavalue":{"value":{"text":"Checking Whether an Automaton Is Monotonic Is NP-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2947429$68F6E95E-1C65-473B-9F15-26B655FAD96D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"324183309182f1d643f6eec4fce64cad4a2a3544","datavalue":{"value":"1465.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947429$3E5EE775-98BC-4EA4-94B9-159882269F5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5bd0e107b342f4cabd8a6c2118c0fd44295d37c","datavalue":{"value":"10.1007/978-3-319-22360-5_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947429$AD686CF3-955C-4713-AD9D-38CA62192BAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96a2afeb208ac1307f39120b256fab7dbcb22b78","datavalue":{"value":{"entity-type":"item","numeric-id":722209,"id":"Q722209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$9ABC4C27-D6FA-498F-8874-EC155555F109","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$77E2AEE3-DA0C-4943-8E6F-DCB1CB18321B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0c16759a79b3d862c4193cb80c97ffad4225220","datavalue":{"value":{"time":"+2015-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2947429$A425FE3D-347B-4F0C-98CC-BDDED9521940","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2c4f09b9e03c3ebc7dfb77f380a705e9d837f74","datavalue":{"value":"https://arxiv.org/abs/1407.5068","type":"string"},"datatype":"url"},"type":"statement","id":"Q2947429$4E6557D9-76CE-4008-8726-EBC38953A3B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947429$39D8DD90-8BD4-4AC0-8CEA-F54CE383C7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947429$0FB34DF0-BF10-42A0-B868-DFB7BF01797F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa3dc09a4119fdc955e9963eb66eafe13e8c7011","datavalue":{"value":"6484748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947429$8ACD7910-1C89-4DE3-9E80-0328A2E9DA05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfff8cbe3dec3b5e1fae71ebc713f5aea5580cac","datavalue":{"value":"monotonic automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947429$0AF3E239-4DA9-4BF6-90C4-A597AC94CA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa97911bb969f65ea0ec4a4d59c06e4735569103","datavalue":{"value":"oriented automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947429$75E87290-3941-41D3-91C6-05E9FBE69B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947429$837284CF-3747-4EC1-9D1B-E77E870A60C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947429$02C9F357-D0D5-4C23-9E3D-5965F6B1427C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8439c3c323b21d48b0e534a0ebe58f84d18c385","datavalue":{"value":"linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947429$F673A226-C083-43A3-8AAB-C788EF16D633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"376d266ddf8fe571bf9ac8ff83f817febfacd20d","datavalue":{"value":"cyclic order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947429$E04C44DE-50D9-4FAB-BE0C-54FB5621D24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947429$58E1C4D0-5EAA-4B7D-A1FF-6510D9FE1619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3c6e924d70a1bb0e496bdb0c5b8e49632db580d","datavalue":{"value":"order-preserving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947429$7282D99E-5B27-4027-BC44-0F0BD579B0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85edcf17e90ba36e5dc32e1b4a75c9d75b0428da","datavalue":{"value":"transition semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947429$0EFC4D97-21AA-4884-93E8-AA963C42B638","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":"Q2947429$DE9059BE-D1A5-44A1-A0E8-F974090612E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9b179e06b523ac68b7ca5fdc5916993d4574f80","datavalue":{"value":"W1203745828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947429$8580102C-A1D7-456E-94EE-8A79A9830A51","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79f10aedb4a2f9e5706cf23f8c1d3f1e80357f5","datavalue":{"value":{"entity-type":"item","numeric-id":4452055,"id":"Q4452055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$0AAD6DC3-6717-407E-998D-F6A924F18E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1707c58118aea973a1c9c32eb7d0c1af0a0e0c","datavalue":{"value":{"entity-type":"item","numeric-id":1763695,"id":"Q1763695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$FA810225-4000-4054-90F8-0365D0A90973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2299871f8da3ff873a8d3556c58e2f6c60e4e2b9","datavalue":{"value":{"entity-type":"item","numeric-id":1242697,"id":"Q1242697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$A53AF932-AF39-4995-8B51-B97DBE5222A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df6b08b9cdba7858c7158aabdd3e7b09145f564","datavalue":{"value":{"entity-type":"item","numeric-id":5178449,"id":"Q5178449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$4006880C-05FE-4002-B3FE-5AC1E7C309BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94883ca937674731d811f4382af5fbb03529edc","datavalue":{"value":{"entity-type":"item","numeric-id":553302,"id":"Q553302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$757A55F3-7631-43A5-950D-A099C03A362D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b737c693485f7a339a62a2508081a4c448a29f8","datavalue":{"value":{"entity-type":"item","numeric-id":3192257,"id":"Q3192257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$6F9D094C-55FD-4D2E-87CE-CBF8F04CEA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d90cc4fbc5f5010b872b4415e8fd3d87ac5522","datavalue":{"value":{"entity-type":"item","numeric-id":809608,"id":"Q809608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$F6A31C85-DA4A-487B-8495-4B90905862B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b44fadf49fbf71804bd01233e1c102242554fa1","datavalue":{"value":{"entity-type":"item","numeric-id":3476281,"id":"Q3476281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$7E81FBC7-165A-4448-8D40-83080C127130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa4c19e33dd35583df70bb12760fa9b615fdab4","datavalue":{"value":{"entity-type":"item","numeric-id":3073634,"id":"Q3073634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$AF406D15-6D74-451C-9C34-236534390A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc0933402a09a7b4869e68e5318ea07b0997f91","datavalue":{"value":{"entity-type":"item","numeric-id":1204136,"id":"Q1204136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$75719952-E833-4E10-8E36-59DD12F9D8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6ebc64c4d974918ddacee651d09fec7117bd99","datavalue":{"value":{"entity-type":"item","numeric-id":5747408,"id":"Q5747408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$365906BE-036F-4AF8-AFC4-DC3C1040506E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25671577fa4958887cecc5eb5572a0caef1b2663","datavalue":{"value":{"entity-type":"item","numeric-id":553312,"id":"Q553312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$88440EB3-39EA-4182-8E0D-60826A6D802A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d6fb59ee3bb6447b39e2251da1b85131546268a","datavalue":{"value":{"entity-type":"item","numeric-id":2820787,"id":"Q2820787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$BA34CD46-55DB-4C8C-B7EA-531B728DEAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b216f665c35f50cecf14e09da4d375643aadfe6","datavalue":{"value":{"entity-type":"item","numeric-id":5375412,"id":"Q5375412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$F0833B15-89E7-4059-89E4-225F7FBF5A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa175007a3e7a1ebb930220d960097bfaade4d5b","datavalue":{"value":{"entity-type":"item","numeric-id":2354297,"id":"Q2354297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$D529D09E-ACA7-4412-AAE2-03637AB7DBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae78766afc5df7b169cdcf8b597558e0f4ff2945","datavalue":{"value":{"entity-type":"item","numeric-id":5327508,"id":"Q5327508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$99D7D0FE-06B8-4214-9914-593065828DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c64a9079d7d59b5bdf422acbbea228448766848","datavalue":{"value":{"entity-type":"item","numeric-id":2946348,"id":"Q2946348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$2403E285-E6AB-4F34-8123-AAB6CFB28E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"524970d1c9614c04f44e0fbec331f1e3e1ae2f67","datavalue":{"value":{"entity-type":"item","numeric-id":5306174,"id":"Q5306174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$EC9C87D9-039C-4B33-815D-1A1AF0263CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$D036A98A-CDEE-4E5A-A173-7317602D1A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9ccbf06f060d34d760a77babb094bac827dc498","datavalue":{"value":{"entity-type":"item","numeric-id":3586114,"id":"Q3586114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$402E5EA6-D586-4816-9201-35F322AE67C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$356B8FBD-FC72-4DB7-8CAB-18FB4E5EC987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50ec045cd64d70456d09098ec60aefad3a87c2a6","datavalue":{"value":{"entity-type":"item","numeric-id":5200075,"id":"Q5200075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$2DA45504-20FE-4F42-914A-2972756BACD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135a2638d4b996bc95e0214f00877289d12491c5","datavalue":{"value":{"entity-type":"item","numeric-id":840772,"id":"Q840772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947429$B58A4A18-E03C-4388-8F30-86DE9E5A2B57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23cad8fdf6266f0fdb4dff03ba9fab42aa2b8fd8","datavalue":{"value":{"entity-type":"item","numeric-id":4686536,"id":"Q4686536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"530b6f7f225d64c1af69a5348d1d9993ffb35d9e","datavalue":{"value":{"amount":"+0.7661149501800537","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":"Q2947429$DB3F6D58-AFFF-4F48-81BE-811DAC25EFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16625e10e06f7c24c36ed3b8a84b46f508663977","datavalue":{"value":{"entity-type":"item","numeric-id":3451097,"id":"Q3451097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a852ef4037fb8a611c874655ee3b94362364b8","datavalue":{"value":{"amount":"+0.7359997034072876","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":"Q2947429$E081BED2-91A8-4FBB-B3E9-7D085F474EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"841b076975b919a7c1a91beb41d74dc14163d340","datavalue":{"value":{"entity-type":"item","numeric-id":5250279,"id":"Q5250279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b6d779b1fccc9945fec18a6ac930e5d2ea891d","datavalue":{"value":{"amount":"+0.7349306344985962","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":"Q2947429$58506FC2-D8EF-4754-B716-0E9F7F972089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975fd164674da76e40af1338a121867b3da54f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5053729,"id":"Q5053729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"035b9253c57e9964a7a24b903c0a5830ae78302b","datavalue":{"value":{"amount":"+0.7245115041732788","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":"Q2947429$6588362C-2FDB-4E80-9193-05086C4EA53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7906e55d5e0704f6e1ea6bf521128db627d905b0","datavalue":{"value":{"entity-type":"item","numeric-id":3363320,"id":"Q3363320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7461fb0dde72093cf98e910c1e19acd445764cef","datavalue":{"value":{"amount":"+0.7211176156997681","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":"Q2947429$95CE99FC-3A28-4DC9-9604-9B1B02C7E75E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2947429","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2947429"}}}}}