{"entities":{"Q650916":{"pageid":652765,"ns":120,"title":"Item:Q650916","lastrevid":63320190,"modified":"2026-04-11T12:04:50Z","type":"item","id":"Q650916","labels":{"en":{"language":"en","value":"Hardness of preorder checking for basic formalisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5987005"}},"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":"Q650916$FEF80FEC-ED97-427C-A097-326EA0CD3EFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35a166d72c35d4813ee803658c94b8396fc620b3","datavalue":{"value":{"text":"Hardness of preorder checking for basic formalisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q650916$F6755E47-9CEE-4B9A-BA66-8B8329F64F08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b233b0e9cb36efca5d8bb4a04d09026066cc7001","datavalue":{"value":"1227.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650916$D32BD443-3B85-4689-8FC9-3CCEB5BA247F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$483976A4-B9BC-46C6-9B75-65EF6E34B27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$94D4AF5A-999B-4722-A654-81BC8EDA012A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12d2defd50916b97ca1549377618bc805a4e9be","datavalue":{"value":{"entity-type":"item","numeric-id":476193,"id":"Q476193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$5F9CC795-3CC6-4924-922D-50F5F1429C5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$B5430748-FE86-4239-A52E-82C4E51BA137","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e38c6f1e03c0365fe5e243370e140f97607764e2","datavalue":{"value":{"time":"+2011-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q650916$1E907144-6583-4C9D-AF14-E9CCCF2D2B10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650916$64221F20-01F0-45F3-B26B-8692EE00902B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650916$80986FCE-C1C9-4127-865D-7585BAF5B34B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7fc4eb4c192f8d94433f0ec57c2aa7ebc0ed8ce","datavalue":{"value":"5987005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650916$E986D627-90A8-4D74-B441-BF7386FD32BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5be808bad3488c959a0d3f39ac5667c403b4e28f","datavalue":{"value":"behavioral preorders and equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q650916$6030B800-25C5-49FA-9087-427D96BF3249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7974e39782e2a3e9e29bcda726b67731045b71e","datavalue":{"value":"preorder and equivalence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q650916$AF65431E-EFDA-4DC7-9F43-C38C7D3DF60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d342237b94abf3c68cc9c0e733ec84f83a659cd0","datavalue":{"value":"non-flat finite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q650916$FFF0F4AB-66CF-4809-BDF4-F436976A7537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q650916$A768B203-0CCF-4750-AF0F-97D491977ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q650916$C9C4BDF4-C149-4254-99C4-AD870668BDA7","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":"Q650916$4AD868A5-705C-4204-9CC4-42A3C6A71861","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5dc154e4bba8343a073bbd31407fcdb5654b5f0","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.08.037","type":"string"},"datatype":"url"},"type":"statement","id":"Q650916$2A7AB076-A005-40E6-9425-0A106D0663FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa8e5a1f1316f8853fea9e7ae1dc0407eb8b5a53","datavalue":{"value":"W2001225349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650916$C5F6DE52-1D48-40A8-AA21-0DA1D0420164","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$0814AF7F-3D77-4289-A349-0468216E351D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"376b8313a9833c6c501303e34b9c0ac757a0a8cd","datavalue":{"value":{"entity-type":"item","numeric-id":1203120,"id":"Q1203120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$345251E8-BDA3-4F11-A936-94197FB52690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$3955E903-C831-417C-A7BD-0035613FB28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c030ba0d3999de358e6c1651b7c8505095c9c3","datavalue":{"value":{"entity-type":"item","numeric-id":6044122,"id":"Q6044122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$7BB87EB2-9A48-4878-B581-0AA47BC25D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a44720d2fb83a21f8f7f48b86172e34e19841d9","datavalue":{"value":{"entity-type":"item","numeric-id":4252730,"id":"Q4252730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$C724735A-5ABC-4337-82B7-D2BA08C7BBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7104c7f620103514a8645e534262fd8517f752","datavalue":{"value":{"entity-type":"item","numeric-id":4845486,"id":"Q4845486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$99BCC6F8-2D83-4677-A92E-21E4D8FC5768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$8C7FFC93-D603-4BC0-B049-F1206C0CEFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb1cbb7867a200f2abd5447ecaa47e9811d7878","datavalue":{"value":{"entity-type":"item","numeric-id":1365677,"id":"Q1365677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$2F3FC2B5-0729-4176-80F5-C52EE0C05F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4461f0bb4992663541df43f581b9d4a6d0a23bc7","datavalue":{"value":{"entity-type":"item","numeric-id":5476389,"id":"Q5476389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$EC9B1CA0-F8BE-4FAD-99AD-E349E6DE59AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b0c20225553192aafbc4437494eef2dc3c5319","datavalue":{"value":{"entity-type":"item","numeric-id":4508303,"id":"Q4508303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$FCD1AB6D-D7CA-46E9-8C8C-BFD7708279AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$1FE49FB7-A155-402D-89E2-841077BAB28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ff86dac2f92aad261264c6b22bc03198ca9f1e","datavalue":{"value":{"entity-type":"item","numeric-id":5758040,"id":"Q5758040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$58F2749C-8BDD-4923-9ED4-59DF62F52229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7357cdfb87c5446d835ccaebc7252250132fd0bd","datavalue":{"value":{"entity-type":"item","numeric-id":1383143,"id":"Q1383143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$B35B5753-A776-45B9-ABD2-BA0FFFD0306C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"218a39adee85051748a211c291a293352f4c6d50","datavalue":{"value":{"entity-type":"item","numeric-id":3424633,"id":"Q3424633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$4EBCE5C1-1130-4FAD-B71C-E9EC613487C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39d2dd412893df3d421b995af30cd88d4372414","datavalue":{"value":{"entity-type":"item","numeric-id":1015390,"id":"Q1015390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$5640BCDD-43E4-4518-997D-0FDCC6E28EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d4e3b98718d01f4950a0327256683ae3c29a70","datavalue":{"value":{"entity-type":"item","numeric-id":4818858,"id":"Q4818858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$EDFE98B8-1169-465E-B25B-21CDCF0ECD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbaaeafaec726b9880b2867e9d8a2d4208ea24a","datavalue":{"value":{"entity-type":"item","numeric-id":6162104,"id":"Q6162104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$86C7B648-0DF5-4B9B-A088-EB46EAFB2819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155089c8d2a602deeff9437190d929d84352191e","datavalue":{"value":{"entity-type":"item","numeric-id":4484486,"id":"Q4484486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650916$FCA3C7ED-C47C-4F28-94B8-45DE3DAD29D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80f7dc442ccb96181368c27a4b224cf369eedb08","datavalue":{"value":"10.1016/J.TCS.2011.08.037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650916$8243D8F8-AE53-414A-B05B-E5BADAFEABF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"394fbee9975056a95f2efa8012e7b949ca3d25b8","datavalue":{"value":{"entity-type":"item","numeric-id":3066095,"id":"Q3066095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e9080b2e9c01d6a0315c874af9d6a7eabbc174","datavalue":{"value":{"amount":"+0.9969993233680724","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":"Q650916$FF5B9D19-321C-4878-B778-185B0235FE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba77836ffeb7f786274e7c3e6a4e729468360cc","datavalue":{"value":{"entity-type":"item","numeric-id":5900569,"id":"Q5900569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b53b61f70b5d114faa340c48f37ea4aa53c182ce","datavalue":{"value":{"amount":"+0.7680361866950989","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":"Q650916$32D107E7-7192-42BD-B6D9-CE14D9FB6358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8895540a6f0cc570a836b58e47b3c7390a63b6","datavalue":{"value":{"entity-type":"item","numeric-id":1015390,"id":"Q1015390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6dc7a79cb44d34438a149b9fc61ae8bf8cd46ac","datavalue":{"value":{"amount":"+0.76675945520401","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":"Q650916$828035AE-8C9C-4C47-A250-0AF12FEAC8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c3fdbf32f56101f3f846180cd6366dc07e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":4508303,"id":"Q4508303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11bc1e7da40c10d615417161ea7ff331518f6438","datavalue":{"value":{"amount":"+0.7494828104972839","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":"Q650916$DE7BD99F-AA7C-4E86-871E-1E24EF70BFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64b9b81f97b56a7f879013b60f99e3e95ea2fc6d","datavalue":{"value":{"entity-type":"item","numeric-id":988552,"id":"Q988552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11bc1e7da40c10d615417161ea7ff331518f6438","datavalue":{"value":{"amount":"+0.7494828104972839","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":"Q650916$1FA65470-7527-42A7-8D41-4C330771DF2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hardness of preorder checking for basic formalisms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hardness_of_preorder_checking_for_basic_formalisms"}}}}}