{"entities":{"Q6488157":{"pageid":14066926,"ns":120,"title":"Item:Q6488157","lastrevid":47833048,"modified":"2026-01-02T19:59:54Z","type":"item","id":"Q6488157","labels":{"en":{"language":"en","value":"Simplifying Alternating Automata for\u00a0Emptiness Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7669397"}},"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":"Q6488157$A59DF4E5-CFE0-4B6E-BEC8-F9722B41D712","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f04661c2b7021a8a07c68c3f813b2e84b9021db9","datavalue":{"value":{"text":"Simplifying Alternating Automata for\u00a0Emptiness Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488157$D60B7E55-74AF-4AD8-BD4C-23F9A5C52FFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e919cd48aed1af8c30f7674a269628e0757d577","datavalue":{"value":"1520.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488157$9EE5A579-6C6A-40BF-BBC9-275CE296BBAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97c5aa3dacf2484eda721d1f94c2ca262525c0a0","datavalue":{"value":"10.1007/978-3-030-89051-3_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488157$E52775BD-BD77-4956-A55A-E8BCB595B53A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c97e95256f1c561e8a185cd48fbdac0544466c5b","datavalue":{"value":{"entity-type":"item","numeric-id":6488156,"id":"Q6488156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488157$A4E83BDD-26F1-4EA3-AA33-BF903D6EA3F4","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":"Q6488157$E76D591B-94FA-4C1F-9D07-04A84660C64D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9392fc1373ca37dd9973a2f3b99144329cde46b8","datavalue":{"value":{"time":"+2023-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488157$F7A268DD-4BB7-4E69-9E6D-16CC2CE18596","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488157$F1DF88F7-0E74-4990-8352-702FF851ED0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e5d9b11ad862dd3c63941a87c7d31c1038d25b3","datavalue":{"value":"7669397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488157$1AD2B35F-D6EC-4459-87F0-C3E214C1AFCF","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":"Q6488157$700FE100-799C-4A07-95D5-B4641A24ECD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9b87bed981aa39a2e700f5352c6dc58919d90b","datavalue":{"value":{"entity-type":"item","numeric-id":4484482,"id":"Q4484482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488157$8C11534B-B016-4917-9912-B669F2943AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488157$71FE9084-2FDB-4297-8B49-B16A74A958CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe955fb7f9026c48a3b74bf365e86ce77d5a2f05","datavalue":{"value":{"entity-type":"item","numeric-id":5725992,"id":"Q5725992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488157$A6FE64E9-F20D-4F3D-B999-3911D15206D5","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":"Q6488157$AF864281-8A00-43A6-B55A-DFE7E61D9561","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":"Q6488157$77A06F4D-132A-4CF0-AAD6-DD7FCD7BAB89","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":"Q6488157$FA161F32-8F95-432A-9929-748A61BEA577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d56be3c28f0922b42868a7e597f4189f5e96248","datavalue":{"value":{"entity-type":"item","numeric-id":1878915,"id":"Q1878915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488157$51423D3B-7E91-4DD0-81B7-E48AE7FA7802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bc9eb61f58fded99213bd86b6fdb579a8fe276","datavalue":{"value":{"entity-type":"item","numeric-id":1959653,"id":"Q1959653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488157$7314CB5F-FBB0-45C9-B33A-B56C32C919A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488157$F37D5786-F51F-4914-8AD5-EC2A945D385B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfea9a496f459254210d9453fc9ecd46895ea24a","datavalue":{"value":{"entity-type":"item","numeric-id":2324226,"id":"Q2324226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488157$B82B213F-5FB8-4CEA-9D9D-77A68A7C7335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488157$17D6D630-AC61-483C-B825-529D50F8785C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6550549f6a6ae41859a83760194e81ec3591e36","datavalue":{"value":{"entity-type":"item","numeric-id":1151754,"id":"Q1151754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488157$5C247A8A-CA82-453A-AB13-7B2B87EA8B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488157$98902C0F-F4B0-48B4-BC7A-CB3A67C5D075","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":"Q6488157$71B2EAAD-828F-42BE-BDE0-FB4BC13FE0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e175be2d970e9a1994d85c88e332778ef2a0c5","datavalue":{"value":{"entity-type":"item","numeric-id":4633540,"id":"Q4633540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488157$A6D15756-B505-447B-994B-2DD5D8B98001","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":"Q6488157$F96EC4AA-E1A2-47AC-909C-40132ADC100F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457b55f65deecfb8d17549890228654289370db5","datavalue":{"value":{"entity-type":"item","numeric-id":3503089,"id":"Q3503089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"312f83a8ac5ada352eb9832ae9d298970c67b6d4","datavalue":{"value":{"amount":"+0.7646082639694214","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":"Q6488157$9B03276C-41FE-4FCB-B053-AEEFEFD09CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc0d53ab25b8b020b4441b0455047f29cf44310","datavalue":{"value":{"entity-type":"item","numeric-id":1959653,"id":"Q1959653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987f31f6d25f760fe9eb5fc520e8964f824736a4","datavalue":{"value":{"amount":"+0.7569217681884766","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":"Q6488157$B846ED04-F459-4DC3-984E-19A15F3DA2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8d890d1f5b1f1f49c7b957ac03411862b636a4","datavalue":{"value":{"entity-type":"item","numeric-id":3637352,"id":"Q3637352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a15df31b74940d5f07031211bf08632b57abd167","datavalue":{"value":{"amount":"+0.7526680827140808","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":"Q6488157$6560E505-50AA-44ED-B821-3D0F030E4C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"293e440894719761e59c4c60dc81ebf8ada311dd","datavalue":{"value":{"entity-type":"item","numeric-id":5757229,"id":"Q5757229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf6f314893da5d74b0d27c9d7554bd29aa24a2b","datavalue":{"value":{"amount":"+0.7259127497673035","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":"Q6488157$A30D638A-55E1-45B2-9677-6402C1B1B819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fc092105d94b8572030033b080298718d2b7e85","datavalue":{"value":{"entity-type":"item","numeric-id":2324226,"id":"Q2324226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a80a3cd3dc1cea93d6ac225bcedf1cf07e925c2","datavalue":{"value":{"amount":"+0.7256752848625183","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":"Q6488157$96FF8A12-B421-456A-B01A-F92381591E1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488157","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488157"}}}}}