{"entities":{"Q5919501":{"pageid":8051108,"ns":120,"title":"Item:Q5919501","lastrevid":55374316,"modified":"2026-02-17T14:43:53Z","type":"item","id":"Q5919501","labels":{"en":{"language":"en","value":"Automata terms in a lazy \\(\\mathrm{WS}k\\mathrm{S}\\) decision procedure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7178983"}},"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":"Q5919501$0F7F25F4-EF79-49F2-A9BB-AAEB6AA63523","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7276ed97cb11dd420da22cd3738410422dd6972f","datavalue":{"value":{"text":"Automata terms in a lazy \\(\\mathrm{WS}k\\mathrm{S}\\) decision procedure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5919501$E793C0E1-3FE8-4E6A-8452-31AF9429A1BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f84e0234e8d8db7bc7c91c96512e8bed81330bad","datavalue":{"value":"10.1007/978-3-030-29436-6_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919501$9E0309DF-21AC-409B-BD89-932C398DDF68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27fd7f8ac9d02e546743864814989ba04fcab120","datavalue":{"value":{"entity-type":"item","numeric-id":2038089,"id":"Q2038089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$F8A33507-6783-4759-A67F-C3661F557690","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":"Q5919501$1CFEDA22-9712-44A1-B4E6-2737F33AB756","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":"Q5919501$CED8B1C5-CBE8-4ACF-B1F4-058167E2B0FA","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":"Q5919501$D30D2508-333D-4CBB-BDD3-FF60BC4AE682","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$2EE05406-4F54-4C3B-B623-F99069DE05BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf314df552e26dc257d6d24b288f7144e19fa20","datavalue":{"value":{"time":"+2020-03-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":"Q5919501$FCD14DAD-2AA3-488F-B8C7-55224B8A96E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a5629a21702b06c62ea1856a53df56344b47980","datavalue":{"value":"https://arxiv.org/abs/1905.08697","type":"string"},"datatype":"url"},"type":"statement","id":"Q5919501$57890856-DDBB-4603-91FD-9E5AFDB0B5E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919501$88ACADFC-6D53-42A3-B818-95EA061F56C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919501$D0857986-A503-4347-9AEE-B48419F84729","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1601927c173256df5030d719527e68d7368c658","datavalue":{"value":"7178983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919501$257225E3-8473-420F-A30B-ED5664296A2C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56bfd4e347b9c302503ae8c57f18426d1c79f931","datavalue":{"value":{"entity-type":"item","numeric-id":13065,"id":"Q13065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$2438F215-2B37-43E1-8E74-917926CB33E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$51350990-9D0A-498D-987F-D258372B2142","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":"Q5919501$BDDDD31D-0041-4E69-B551-0011E6F6F85A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"173c8b8f2511e1f1dc6e9d5555ee8bef20891e46","datavalue":{"value":"W2969578428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919501$0D93B392-46DA-4ED7-97C1-444050A44270","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe3e421d6e27edd88e225f74f1b132c62664aca","datavalue":{"value":{"entity-type":"item","numeric-id":5408581,"id":"Q5408581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$059DC2AC-57A3-44FF-BFF6-0D15BD4B63A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625d0e546f584fff0965159489d2fe578acb6ad4","datavalue":{"value":{"entity-type":"item","numeric-id":436400,"id":"Q436400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$D3B669EA-6C4D-4207-B6F2-60A50A9B2362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee83142d4e3d3aa681acbbc99a7ef0cb5826006a","datavalue":{"value":{"entity-type":"item","numeric-id":2351149,"id":"Q2351149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$19741EB7-538B-4427-B0C3-5BDFA6211526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616c18c9f25eca63c3b073680f3df7741357783","datavalue":{"value":{"entity-type":"item","numeric-id":4518895,"id":"Q4518895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$D02EE52E-7BAA-4CE1-8EB2-67F18A0C3F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae862bfe3b16e27b443a860fdee258d71894153","datavalue":{"value":{"entity-type":"item","numeric-id":2729077,"id":"Q2729077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$AFDB0B4F-3525-4693-A23A-7BF6C347EE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c697af4499f484f87e6e26217eaf135753cd7dd","datavalue":{"value":{"entity-type":"item","numeric-id":5039511,"id":"Q5039511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$D0C02E61-31F2-40D6-AFD6-810879D53F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38722fd601427a93da411b1672cc72e0326d92da","datavalue":{"value":{"entity-type":"item","numeric-id":4263079,"id":"Q4263079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$01C0513C-EEB3-44D1-8EA1-53DC7E509437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50a70a82a47bebbd0be24fc8269ee3bb0614be5","datavalue":{"value":{"entity-type":"item","numeric-id":5200043,"id":"Q5200043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$1DAF49F1-D0B6-4876-90A6-AD0ED0A0DB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f085b238ed338f810dadaf339888144af184bb5a","datavalue":{"value":{"entity-type":"item","numeric-id":3557062,"id":"Q3557062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$8CED97B6-15AD-4250-BC1F-B83B7399F73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4642bcb7c915521a77293757841128c7fd74d05f","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$B5BAA9DC-1507-4ADC-8E09-619C08A9EA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f742947f00329004cff32e1423a3b03d85d5c26a","datavalue":{"value":{"entity-type":"item","numeric-id":3602801,"id":"Q3602801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$DC7C44B0-0011-45B1-AD9A-CCEB0B38F398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846bab2d5ef22f22d0f4f2c57ef8626ead1ebd98","datavalue":{"value":{"entity-type":"item","numeric-id":3557075,"id":"Q3557075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$ED3102C0-3D1F-47B3-98AE-48C1E012B368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c1cb268587dd293a50aac3367d9a446c9cf81f7","datavalue":{"value":{"entity-type":"item","numeric-id":2441715,"id":"Q2441715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$7AC3E89F-E0D3-454E-9476-186C83CD6BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7945a177b7df9279d2abc448c4d3d682b8426a2c","datavalue":{"value":{"entity-type":"item","numeric-id":5458321,"id":"Q5458321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$83BBC512-9AE2-46B8-8AAD-0A0DB94B20AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08811795745e05f241aad0cd1e4d9034d0b14b9","datavalue":{"value":{"entity-type":"item","numeric-id":5898976,"id":"Q5898976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$19455C27-036B-40A9-B67A-B6D15390DD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c4305699170406c7287a104a4408e68423f3b5","datavalue":{"value":{"entity-type":"item","numeric-id":3303905,"id":"Q3303905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$73EF5AC6-5E82-4543-8B36-6F48BD486949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"867105dfcf0b247194bda2bdcdcdf8955e70e05c","datavalue":{"value":{"entity-type":"item","numeric-id":5919501,"id":"Q5919501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$C3C72929-EB8D-4873-A21B-CDD70D5D0EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$7B5AEA35-0D89-40E4-B666-C8969C1E6CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$0656BCC4-932B-4AF5-92BA-6FD263FCD929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59293eeb5b02bf53fbf8f0878a16024c278a1bec","datavalue":{"value":{"entity-type":"item","numeric-id":5592253,"id":"Q5592253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$1E60CB14-430B-4FA9-9725-C18331B501C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$5F2865AE-1AF1-42D9-9879-08CAD2291110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ecd962d29196a0fa85d545f27fae2c55c992d6","datavalue":{"value":{"entity-type":"item","numeric-id":3021971,"id":"Q3021971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$45053306-C7A3-4CE1-B324-04EC3B4651F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b2b42de14ced40ed15f5a331f5d0b81592b897","datavalue":{"value":{"entity-type":"item","numeric-id":4818808,"id":"Q4818808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$5F5DEE9F-6FA3-4217-84FE-6CB3F0499E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639780cd27dafce4bd11843e7ad6d2329958ef36","datavalue":{"value":{"entity-type":"item","numeric-id":5408448,"id":"Q5408448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$05548CDD-D56D-4108-9710-E5098C296FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff06eef62893baf6cfda5f6cf41e773582650d3","datavalue":{"value":{"entity-type":"item","numeric-id":5194965,"id":"Q5194965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$4F50B37C-99B4-4339-8C68-C0E7F1B9A9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23cf3ba9d702014e7be78d2b93f401a56388af9a","datavalue":{"value":{"entity-type":"item","numeric-id":5351976,"id":"Q5351976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$1905AC52-82BC-4573-BE87-36B91382AB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953f99b80104e1a814b3aa9434b35ab8a83be132","datavalue":{"value":{"entity-type":"item","numeric-id":3586053,"id":"Q3586053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919501$C5E638E3-A96B-429C-BAC1-95915F1D4FB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d59514b1c451c225f50ebc32b883fde44a5e2e6","datavalue":{"value":{"entity-type":"item","numeric-id":5918382,"id":"Q5918382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d59d0232ae57b146ade3253fac455c6df9c02e36","datavalue":{"value":{"amount":"+0.9975655674934388","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":"Q5919501$99577D8C-4702-4005-B091-0C922C40BF1B","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":"02255c121c317639238c4eed449b98aaf654264b","datavalue":{"value":{"amount":"+0.8962856531143188","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":"Q5919501$65C9FD08-4A11-431B-BC16-72B334A01295","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":"24f291317066dd1fd1baae178c65c826c10fb7ca","datavalue":{"value":{"amount":"+0.7796022891998291","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":"Q5919501$3A6E3858-239F-4CA1-8C6A-A4445203F074","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":"fc70a65bdda67201ca5c551a3a0e0796dc6c8c03","datavalue":{"value":{"amount":"+0.7752943634986877","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":"Q5919501$5A446CDD-715A-427D-8A16-A4C41589EC77","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":"ee522b84aeb25d9cd3ced3dc07a394a3af0a93f4","datavalue":{"value":{"amount":"+0.7687245011329651","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":"Q5919501$DA79F0C6-A474-4FE3-9CA6-B8251AA211DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5919501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5919501"}}}}}