{"entities":{"Q3090830":{"pageid":3101545,"ns":120,"title":"Item:Q3090830","lastrevid":51324701,"modified":"2026-01-17T18:41:23Z","type":"item","id":"Q3090830","labels":{"en":{"language":"en","value":"Advanced Ramsey-based B\u00fcchi automata inclusion testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945191"}},"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":"Q3090830$9839D2ED-ADCC-407A-B269-C10DADC8952C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2161ad997979f7687be43464532ade9551ee575f","datavalue":{"value":{"text":"Advanced Ramsey-Based B\u00fcchi Automata Inclusion Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090830$908608BD-8648-4256-933B-33760696E213","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3f0732abc30f6c19917cdf1ee6c91ec4e66d006","datavalue":{"value":"1343.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090830$AE7B30A8-EBBB-4C27-BAAC-95B478E6CCB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cda566485da25e58dba5f6ec041197a8bd8a5ef","datavalue":{"value":"10.1007/978-3-642-23217-6_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090830$DD7321E3-BDDF-4415-92D5-226A745BAD47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fca74f7f2088ba772c96b73216f68cda94cc5e","datavalue":{"value":{"entity-type":"item","numeric-id":740969,"id":"Q740969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090830$24FE30EC-CBAF-4657-8C7A-0A56D527811B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01e14a2ab9fc255c6552f3abb28f56fd94b40f3e","datavalue":{"value":{"entity-type":"item","numeric-id":2221810,"id":"Q2221810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090830$6D92FDD3-B950-4611-A134-7AB368A7D733","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":"Q3090830$528619D7-0A22-45CC-8110-32C32FAE91FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c715c03e7b714d73de239e05cbc52210bd821daf","datavalue":{"value":{"entity-type":"item","numeric-id":1702934,"id":"Q1702934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090830$0CDD1695-70D4-4594-8E5F-32D2C250FD58","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":"Q3090830$7B33F58F-24C3-465E-B3B2-57844A90C29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090830$6B87C925-CB41-4EAA-B986-3CD6AEDEA9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090830$3C350180-C1E5-4EBD-BB63-12D3E917EB90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d4b52f40151daea00ff3da0acb2c051d987d247","datavalue":{"value":{"entity-type":"item","numeric-id":3090816,"id":"Q3090816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090830$65100213-6592-4AE9-A3CD-8CDA84959CBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3090830$BDB6DC67-93F9-42BA-BE52-07245A4D94BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090830$8AFA4C06-D6EF-4C33-BD7B-D46E6F528A5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0098163e8d2b557b1634e36e65c5b73dbca1e999","datavalue":{"value":"5945191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090830$E916BCB1-AF21-48B5-9A09-3A7B7D24CBAA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36775e519793d9171689cd087c9a00c3267ecefa","datavalue":{"value":{"entity-type":"item","numeric-id":21794,"id":"Q21794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090830$42025016-9FCB-4A9C-B654-639B5115A7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74fb7b0e57b9fca797ae3d6e69eaff9176bc90bb","datavalue":{"value":{"entity-type":"item","numeric-id":32028,"id":"Q32028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090830$759DB9B6-F9CD-4C6E-93B2-D44C3AAB66C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090830$B1B9BD68-7FBA-411F-8E80-1F7268B328B3","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":"Q3090830$918E920B-313B-4876-93FC-CC85ADBBB532","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"278e7626121d54278fc537017a040c3b987c0f33","datavalue":{"value":"https://doi.org/10.1007/978-3-642-23217-6_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090830$4B6C09F8-C951-4165-B196-148AAD5BEBC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffaafb6562acff807beecbb414e13b194c0ada11","datavalue":{"value":"W2148195254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090830$906CF9AF-D170-4188-9231-69E3387E0595","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be44c7d48e67ec2737b6b9719ee682ab48e239d","datavalue":{"value":{"entity-type":"item","numeric-id":3090830,"id":"Q3090830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090830$BEFAE0F2-9534-4FE0-B599-EC4A84D5DAA2","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":"Q3090830$09A3A188-9AC9-4EBB-BF23-D853858E8DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e41e590ac256592516927020d2f60958d61dd6","datavalue":{"value":{"entity-type":"item","numeric-id":5758127,"id":"Q5758127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090830$606F0465-60F6-4FC7-BD7C-2EC3D975581C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc5022f128a975dec37fb8610712d3064312c71","datavalue":{"value":{"entity-type":"item","numeric-id":4484483,"id":"Q4484483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090830$4F33DD75-7E88-4A45-871E-6D78A1567CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b7faa7f810420c367b1a59b87757c86e62516b","datavalue":{"value":{"entity-type":"item","numeric-id":5317190,"id":"Q5317190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090830$F0B4FC60-627D-4E1F-8FF3-F15168AAA2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72133fa5aed061c3346d2e39c4b23aff7a408f87","datavalue":{"value":{"entity-type":"item","numeric-id":3617751,"id":"Q3617751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090830$96C1FAF0-5D27-43DF-B50D-3C648BF385B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75cfb2ab625e62feb4087fd15200cab4e676b83","datavalue":{"value":{"entity-type":"item","numeric-id":3557078,"id":"Q3557078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090830$EA58135E-8005-4D50-B267-F17E12F0C86A","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":"Q3090830$14B0E0C4-808B-4E62-B00C-619F4CD0FB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090830$605265BF-0B60-4627-B626-E254C029C2E7","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":"Q3090830$BB25A9FE-6C72-4AA7-B765-D9744E382033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d5214b688b20c085ca517a35ba494bf283ee476","datavalue":{"value":{"entity-type":"item","numeric-id":3698787,"id":"Q3698787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090830$9D7250DD-8EDF-4F81-8F7B-8B918E1948DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cd54413287e6e70989953202b0183dd784ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090830$67827411-0A69-4D0F-BFAE-1A04AEF6C9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090830$1AA0B5DF-97A2-4BD2-9C06-C41B756A324C","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":"Q3090830$3D0764F1-86A3-448C-AEAA-F9642D77D157","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e05c0e041b92c4c38eeae7e276356625cdb82bbe","datavalue":{"value":{"entity-type":"item","numeric-id":4910474,"id":"Q4910474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354d44286a20bb81fcdc0d8aec9c40ee2df454ec","datavalue":{"value":{"amount":"+0.8389173150062561","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":"Q3090830$EA5401F2-4289-479D-AB85-03D6D6891D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aaeff978074e76c40939bbc3830663b4767d5d","datavalue":{"value":{"entity-type":"item","numeric-id":4625701,"id":"Q4625701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c2d607fbc9f52677af574e96ceb4f1441b6af26","datavalue":{"value":{"amount":"+0.8175246119499207","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":"Q3090830$2A75A154-2925-42A7-B8F9-9D1ACA4A1E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d166e5e111d27fec22b2633dbe072472bbd0680","datavalue":{"value":{"entity-type":"item","numeric-id":6487332,"id":"Q6487332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66fb675a19f563a74edfa060ca838a03f77cddd0","datavalue":{"value":{"amount":"+0.8108910918235779","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":"Q3090830$30455806-1424-4823-B0CD-7F7E808AD382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027b1caf5829e722c95788c8cb112cbe6f47d831","datavalue":{"value":{"entity-type":"item","numeric-id":5758127,"id":"Q5758127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c685f081453cf0fe954cc58d3decd7a43946ce0","datavalue":{"value":{"amount":"+0.7913080453872681","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":"Q3090830$6AEC6B61-DBA0-45F4-AE2C-7B2F4D0EF505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7e548b847eb73739a546e5d1d3d142ee7960fa4","datavalue":{"value":{"entity-type":"item","numeric-id":6485904,"id":"Q6485904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbae72a263d5ff5d6a1323efcfadc11d9b681988","datavalue":{"value":{"amount":"+0.7900174856185913","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":"Q3090830$E2D6377A-BA99-447D-8E1D-C63A574A750C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3090830","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3090830"}}}}}