{"entities":{"Q6485904":{"pageid":14064562,"ns":120,"title":"Item:Q6485904","lastrevid":103335722,"modified":"2026-06-06T07:11:35Z","type":"item","id":"Q6485904","labels":{"en":{"language":"en","value":"Proving Non-inclusion of B\u00fcchi Automata Based on Monte Carlo Sampling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7636261"}},"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":"Q6485904$6856F4C0-3CBF-4458-AD95-1A7324590681","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3556d2436c98f45de8c37a082e40c505f84f35d4","datavalue":{"value":{"text":"Proving Non-inclusion of B\u00fcchi Automata Based on Monte Carlo Sampling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6485904$395E42A0-4291-47E9-9F2A-0D788109FD7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d80fa35d72595d9985f0ba17442e03fe8d5ffa77","datavalue":{"value":"10.1007/978-3-030-59152-6_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485904$5486EF76-E6A6-45A2-9D97-9057CED459D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"525be268eddb5d95f5464c718ca2a74c2b70e47e","datavalue":{"value":{"entity-type":"item","numeric-id":1660782,"id":"Q1660782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485904$524E1A42-ADD6-48B0-812B-8366668224BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7df2d49a710f5b21adfbbe3b8775543132e5a670","datavalue":{"value":{"entity-type":"item","numeric-id":282104,"id":"Q282104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485904$48C29DC4-2764-4911-8D48-B26EF3D70E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5e91f0b0cbf8e67ce8bb52bf04a90692f7ace51","datavalue":{"value":{"entity-type":"item","numeric-id":2084939,"id":"Q2084939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485904$FDD18423-25CF-44D0-8948-92520F8C9613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485904$11B8470F-54A2-49BD-ADAC-5FDD65E0BF62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cbd72a6a2bdb5ab810c1a0445723250d3aacb487","datavalue":{"value":{"entity-type":"item","numeric-id":6485903,"id":"Q6485903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485904$49025FDA-2CAA-42A8-AB73-CF0AFB04B05C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d72aad3ff4fb8b75fb496fbab59efd49871a44f","datavalue":{"value":{"time":"+2022-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6485904$F4BBCAD9-78A4-49A6-B6CB-497DBAD7C93B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485904$54F3CF65-F515-4DF7-8EB9-3B85282AAC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485904$3E04D060-EC6E-4D7D-AD0B-6DC13D8CA01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485904$59210295-D8A0-41C3-9A52-CF44A7F3AAE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5399ffad2ca26bd7edcd34a12bc04564a9b1af98","datavalue":{"value":"7636261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485904$23B3D0B8-E74F-4E79-8CB1-CFE23A45BA24","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":"Q6485904$1C696257-03ED-49E1-8B2A-4A38EC27637B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4094bd9a14dcd454aff9cb34cb43d35b4c6e1c3","datavalue":{"value":{"entity-type":"item","numeric-id":3090830,"id":"Q3090830"},"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":"Q6485904$33303B0F-F165-4D66-B104-8E4738F4D066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c44f3389e3c145a0fd2f8db93a411cd5f7abc99a","datavalue":{"value":{"entity-type":"item","numeric-id":5703764,"id":"Q5703764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623314ccd4207bc1fda090ae41593a14c2829a7f","datavalue":{"value":{"amount":"+0.7689613103866577","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":"Q6485904$FED98A86-99CE-4FDD-B90F-F09C28570CD7","rank":"normal"},{"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":"6b17e3ccd11fb16aa54fe4f4bbfa8c9ac6a3bfcc","datavalue":{"value":{"amount":"+0.7488971948623657","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":"Q6485904$D61D374A-AE0A-4996-AE65-9F9AD1B311F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f6c391425d8f11bce11e35b4b5391d931587fe","datavalue":{"value":{"entity-type":"item","numeric-id":3623017,"id":"Q3623017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f8494bbc22c7421062117b50d8fe7d52874922","datavalue":{"value":{"amount":"+0.7458096146583557","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":"Q6485904$B0B03A32-7D39-4FC5-AE33-6F7753D77E3D","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":"002e090e89b4daadb7c60d28082010dfe2cbf6c8","datavalue":{"value":{"amount":"+0.7390353083610535","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":"Q6485904$A559CDA4-C35F-4E3C-8C75-98953837EAD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving Non-inclusion of B\u00fcchi Automata Based on Monte Carlo Sampling","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_Non-inclusion_of_B%C3%BCchi_Automata_Based_on_Monte_Carlo_Sampling"}}}}}