{"entities":{"Q1702923":{"pageid":1713664,"ns":120,"title":"Item:Q1702923","lastrevid":72117123,"modified":"2026-04-14T02:45:20Z","type":"item","id":"Q1702923","labels":{"en":{"language":"en","value":"Automata-based model counting for string constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845662"}},"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":"Q1702923$195C8A56-8C41-4465-8724-4C24E6F261DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0efd77a8a2525b47f1892d32d7fb3e5f0dd81bbc","datavalue":{"value":{"text":"Automata-based model counting for string constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1702923$E121103C-7D32-4A47-B786-48FE4084C2DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e88ffd43b4557d83af3da54aa97c66efcdeba278","datavalue":{"value":"1496.68254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702923$E64D2410-9E90-4E0D-B407-94DED4A87CDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65b3460439edf3b0c7c4ddd43c108601a1a8677e","datavalue":{"value":"10.1007/978-3-319-21690-4_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702923$CA7EE2C0-B345-46C8-8DFC-F99E260B4AFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"042cad9f92616d8c81d4f461b2006e36d9ed7aac","datavalue":{"value":{"entity-type":"item","numeric-id":1702922,"id":"Q1702922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702923$DFA811C1-0306-4262-9552-8AA2319A0F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"393f1026895774e098769ee01c4a0a9faae81241","datavalue":{"value":{"entity-type":"item","numeric-id":888437,"id":"Q888437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702923$7486B4EF-922D-4A53-B2E2-EFBB026AA121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"859f8ee7581350f1031dec21f694fc43324b283d","datavalue":{"value":{"entity-type":"item","numeric-id":344798,"id":"Q344798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702923$748A75D1-53DA-4BFC-97A8-502C5D825929","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ead1def560b38beae02ca12f5c5bf33059d8b8e","datavalue":{"value":{"time":"+2018-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1702923$2550EFF9-70CE-4FF5-B5CA-97F4D541AD36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702923$676D80E1-F8CD-4346-96C7-90760261DFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702923$EA9C28D5-95B3-400A-BB46-74CF92EDCDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702923$606FF6EF-C4C9-46EB-8B13-6E829EAEEDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702923$E80FB94B-0D2C-49B3-BC0E-B46A399F49E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"824c9242ee6f86c15bf4eecb8cafeab39e222c2d","datavalue":{"value":"68W32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702923$106B6429-1896-48BE-8436-528A21773662","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a4f4b0c3af408a640528f8499b94f0e7ee7b0b6","datavalue":{"value":"6845662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702923$735DFAA6-B7B5-451E-85F1-F28D1306B2D9","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":"Q1702923$6CB35AA6-59F1-4ABF-A39A-2DD58CD92EB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ccdbb22296eb9cdd9a59a71801e661695e8ecb0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21690-4_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q1702923$F59A9A0E-209C-4F7D-9B88-8B2A1F76056C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6d066935de3d62b6c5c3f6ffb9d5499917f56ec","datavalue":{"value":"W1023119160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702923$379F8537-C5B1-481F-B1E9-157FFE812B5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dbd904384b427c302b0cdddb29cb2f644a768b1","datavalue":{"value":{"entity-type":"item","numeric-id":4633540,"id":"Q4633540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc9e4d54eeb85dcf70b1dc7977d72e7e78f90ec3","datavalue":{"value":{"amount":"+0.8010772466659546","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":"Q1702923$1CB7DDFD-2B7B-430B-99BF-AD8CA60486D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b16501e2f35b21c29ced38507ce7f6ffc00838c","datavalue":{"value":{"entity-type":"item","numeric-id":2248096,"id":"Q2248096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d53af7a3b6ad15f3b5cfe66558c90fd79e09f4ac","datavalue":{"value":{"amount":"+0.7882966995239258","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":"Q1702923$E1DF01F1-BFF5-469D-98B9-7060636916EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab01123aea2bf0ba083e12cd1ec9f474d20f46d","datavalue":{"value":{"entity-type":"item","numeric-id":2164241,"id":"Q2164241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c61ceca21f7a513a8920935f6a86736e56d0664f","datavalue":{"value":{"amount":"+0.7709857225418091","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":"Q1702923$1F9C9346-B37F-46AC-A50D-C68783998C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a38f8016acefdbc9f6eecf69e5c3379059bff6","datavalue":{"value":{"entity-type":"item","numeric-id":469349,"id":"Q469349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30fe4d72672fb5090a2cbd18f0aa9863ea8414f","datavalue":{"value":{"amount":"+0.7660270929336548","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":"Q1702923$EF108802-1EF6-410E-ABA6-102715F6169B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eeadda1685ffcda0409727ef7e3fb0cd7984877","datavalue":{"value":{"entity-type":"item","numeric-id":3075486,"id":"Q3075486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf595e6ebdf3a18ab05b3a9d3c611e830f186f2","datavalue":{"value":{"amount":"+0.763361930847168","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":"Q1702923$95B8F93D-4A10-4392-B3C3-FDC3493AA936","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata-based model counting for string constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automata-based_model_counting_for_string_constraints"}}}}}