{"entities":{"Q281146":{"pageid":282913,"ns":120,"title":"Item:Q281146","lastrevid":52526243,"modified":"2026-01-22T21:15:27Z","type":"item","id":"Q281146","labels":{"en":{"language":"en","value":"Non-deterministic semantics in polynomial format"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578785"}},"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":"Q281146$E2F11693-9BC0-4C3F-B700-EA15ED0FF626","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbb33621deed473a68c2812408da2cb639476893","datavalue":{"value":{"text":"Non-deterministic semantics in polynomial format","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q281146$76AA5F5D-D156-4FFD-BD33-B7ABC1CA9E5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b9aaf672847d0f2a19a5f0794977b2868060dba","datavalue":{"value":"1335.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281146$FCB3FBDD-8925-4F14-8306-DD8737E6C0F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea3b7672b6669a878f3344503ca8879f36738292","datavalue":{"value":{"entity-type":"item","numeric-id":281145,"id":"Q281145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281146$A2309CA3-9B15-4054-944C-15F0D00750B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2563d9a5dd0b1a47c7b94c26c40c09b5eab1dc7b","datavalue":{"value":{"entity-type":"item","numeric-id":1068072,"id":"Q1068072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281146$773D24AA-214D-40AE-8AAE-3D86A815FD0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5080655d79bf372c5c5ce3cef49e38026d2edcb7","datavalue":{"value":{"time":"+2016-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q281146$EE5BB588-AAB6-49B3-8764-BCBF523780FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281146$B9B3B88E-231B-481E-8BAA-6BA80FAD2B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281146$A95BFF10-40CF-41ED-9CE1-C661CB8C4E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005488ac12471348bfecb95099a57fd4da722ac","datavalue":{"value":"11T06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281146$00FC1E70-CB6E-4FE7-82D6-B036FA3B65CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281146$7349A4D9-F0FE-4648-9A89-2E2EA8A12E35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"032bbe2fe2345f7ec086c0df88d9e582ad9e10c2","datavalue":{"value":"6578785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281146$937E78F3-CE6F-41E5-A049-9398862DEBFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b150396d797c7a1574dc7375d25950cb5fa2ca65","datavalue":{"value":"polynomial proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q281146$76834BC8-0436-48F6-BC1C-36F44C9BEA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q281146$C0D8CF2D-2C47-4CA3-801F-866AC33348AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5457baa26552f25d57d3abd6dcc0d62befb3b0ee","datavalue":{"value":"nondeterministic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q281146$BFA62AEC-E606-4C89-BB09-B50B6FD20964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q281146$31D31C5F-38E0-427A-AAFF-5B81F3F0D9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q281146$481F98B3-FA1E-465A-B50D-D5F63A16455E","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":"Q281146$D5B6FD61-121A-4AEE-BFBD-A2898417E590","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"06e74c63e1cc1395d9e186d68e8ba710d99ec1df","datavalue":{"value":"Q113317872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281146$551A2F40-1E09-40C8-B6C7-4EF85AEBCC89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffc5f33a2328c3569ef2c0efbf193728fd4ec374","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.06.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q281146$14AAEF02-4229-4ADD-B337-9559696EC79E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb0f06b8b08ac29df04ee863c84926ff6eea946d","datavalue":{"value":"W2091224100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281146$6AAB9873-1D1D-4F87-8E6F-9AC9BB3E0DD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"397cde7f6d86ed3026a4b3d79258b37d59f56a23","datavalue":{"value":{"entity-type":"item","numeric-id":3006006,"id":"Q3006006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281146$644A0AAD-A3B5-448B-993D-D89486CEC811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526cbec1d1836fb444191f137981aaa9a33081f9","datavalue":{"value":{"entity-type":"item","numeric-id":997049,"id":"Q997049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281146$0CD3DFE8-DC04-4BF2-94B6-5659F06928F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd86bec6d90d0f7880185d67b1aaed2ecdba979","datavalue":{"value":{"entity-type":"item","numeric-id":3599059,"id":"Q3599059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281146$EDC955E9-801F-47FD-B14B-47AB309216CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f71c1d2b8f877342d1f75eb537c5f2e4c2476de","datavalue":{"value":{"entity-type":"item","numeric-id":4928710,"id":"Q4928710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281146$7DC4103F-E226-441B-8E6B-308FA372C633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1319b7b3a4463ec62661d6367c6556aa312d5e0d","datavalue":{"value":{"entity-type":"item","numeric-id":3081831,"id":"Q3081831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281146$A0B3A4D1-BB97-4E13-A194-25D5186C50E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281146$AF7D799B-ACD7-4010-A7B9-40BB55BB7EF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa285a87bd74f1fbf146d964471222b873e79f02","datavalue":{"value":"10.1016/J.ENTCS.2014.06.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281146$F56DC340-28C7-4413-8434-7BF0F87B48C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d154aac18b605bf40cc73baca9bd75805c7db14","datavalue":{"value":{"entity-type":"item","numeric-id":897932,"id":"Q897932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa40539c58736ff3c561136b4adfb9797a9f53d4","datavalue":{"value":{"amount":"+0.809092104434967","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":"Q281146$CF4B45C4-39C7-47E7-8DC5-11EE9DCEBBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9a85827000445f2db027c0992b8b738868ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5243399,"id":"Q5243399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44efeb34bf1910f08d42979aa01fbfb6226f47cb","datavalue":{"value":{"amount":"+0.7324296236038208","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":"Q281146$F0DD513D-1844-423D-91B6-EDB702340D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6d60bbb00644245d238d42cf2cfb85aae05177","datavalue":{"value":{"entity-type":"item","numeric-id":4586158,"id":"Q4586158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5411b7d09bec6142ff33ea65f4b226ee922e9f6","datavalue":{"value":{"amount":"+0.7258621454238892","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":"Q281146$AC150FB6-BEC9-4C09-9022-CA79D4671C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33d1e5909f58d36b772e097ce8edf00b3e451c35","datavalue":{"value":{"entity-type":"item","numeric-id":3081831,"id":"Q3081831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48fa1715d14ae95ca5ef43dacac1a761a25c6cdd","datavalue":{"value":{"amount":"+0.7168200016021729","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":"Q281146$45480BE1-01BC-4DF4-842A-7FFC3579F2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af54a7870ca0d13931e6592961d66440dbdf3adc","datavalue":{"value":{"entity-type":"item","numeric-id":4380155,"id":"Q4380155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618878e50fcfee399cbb9c9622f4d7e6d914f343","datavalue":{"value":{"amount":"+0.7158855199813843","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":"Q281146$FEBC3177-5FB3-480D-A24E-6746BB765ABE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:281146","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:281146"}}}}}