{"entities":{"Q4633540":{"pageid":6663121,"ns":120,"title":"Item:Q4633540","lastrevid":90104495,"modified":"2026-06-04T19:14:53Z","type":"item","id":"Q4633540","labels":{"en":{"language":"en","value":"String Analysis via Automata Manipulation with Logic Circuit Representation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7050641"}},"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":"Q4633540$6EBBEA42-78E4-44AF-8120-9F16453CE8AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8670d2deac0195eca78dc06f5bd796c9f6471212","datavalue":{"value":{"text":"String Analysis via Automata Manipulation with Logic Circuit Representation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4633540$110134F0-756B-4DA3-B295-7BE27B7CC07F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f365dcfeb593f54596b8bd4201c772d418841e94","datavalue":{"value":"1411.68213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633540$E66B61FD-1A7B-4543-A67E-5041A238560C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48670b16a82891d4f89e027f13eaf5b38d8cd564","datavalue":{"value":"10.1007/978-3-319-41528-4_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633540$ABA8B086-8540-4953-826D-CB7DD236B364","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84e23bdc8f9d516a3c712701d290e07c8c079d66","datavalue":{"value":{"entity-type":"item","numeric-id":4633537,"id":"Q4633537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633540$D2848DA6-7E60-4BF5-A70F-6FDFFEB770FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27d184584ef97979a8edfb4463eafd9edcba7602","datavalue":{"value":{"entity-type":"item","numeric-id":4633538,"id":"Q4633538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633540$44D20405-7EEE-4622-B0DB-DFAE666DD3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"047acf80c220360f0d14426449f3fab95b2b5f73","datavalue":{"value":{"entity-type":"item","numeric-id":4633539,"id":"Q4633539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633540$B16511B3-909F-4A8C-9784-10E386733F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"248be6192f931f4e9398d983f4f2a5eec0838b40","datavalue":{"value":{"entity-type":"item","numeric-id":255818,"id":"Q255818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633540$68846A8F-4139-4E0C-8F48-55D1929C0DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d108f2cc75f223419614b9663d463900e39edb7c","datavalue":{"value":{"entity-type":"item","numeric-id":2435314,"id":"Q2435314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633540$97902057-F444-47F4-A538-229F58CA52D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633540$508AE8F2-DBED-41A6-922B-FC793EC699DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24db5d32115f39913353e80bae577d976822bb5c","datavalue":{"value":{"time":"+2019-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4633540$634EB72D-22CC-4272-BED8-8F7628D6371D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"824c9242ee6f86c15bf4eecb8cafeab39e222c2d","datavalue":{"value":"68W32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633540$49F70B22-5ED8-4B11-8088-773029FAF482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633540$44768C4F-972B-4A0B-96AF-8EDDC9AE6818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633540$40C9F9ED-33F0-4065-8B40-78EC631D372E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"466aafd63922e6a72ada4775f7086f8f9b1ca852","datavalue":{"value":"7050641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633540$BBBE304F-5751-4938-BFC9-CE658879F3BA","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":"Q4633540$55F6FF90-3100-4869-8067-99160D9339D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e28017b08666be677d7bc1833e72311fb843a3c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-41528-4_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633540$E7C69AF8-C366-46BF-93D0-4BAB088AAFB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61b6afe4fa1a91e47679c0dd9103772be5169260","datavalue":{"value":"W2501292226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633540$132FD51E-940D-42C7-8E8C-55CEA243EB29","rank":"normal"}],"P1643":[{"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":"40bff3de4811aaf2822d57b31617a5790c253128","datavalue":{"value":{"amount":"+0.91070485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4633540$71B5ACDA-75FB-4A00-B856-F403B0EE0D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d719324171a7087dc240862ea40e1d05f570ce43","datavalue":{"value":{"entity-type":"item","numeric-id":4347164,"id":"Q4347164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a1a97051202837108a24b6f821b43af6631742","datavalue":{"value":{"amount":"+0.86081785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4633540$385D2C7A-0782-42F1-9B2F-86760B46141C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"571bff0eb4ad37af14187fe7baebe1e2fdbf6b43","datavalue":{"value":{"entity-type":"item","numeric-id":3075489,"id":"Q3075489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e989403acdd5c84f3fd89ae8f81ec7a057199f","datavalue":{"value":{"amount":"+0.86077815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4633540$E68B1368-4C67-46A0-B649-7A409762A708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404470b74b8fc14d1e7307f98d889abd857f8696","datavalue":{"value":{"entity-type":"item","numeric-id":2465040,"id":"Q2465040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ebae9ced2230f22287a982548789c3c5334448","datavalue":{"value":{"amount":"+0.85449976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4633540$C1F7AE26-ACC5-44EE-914D-5BF25C9A4D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61059a0b9f7e55cbfe903b260ef00500509cdf19","datavalue":{"value":{"entity-type":"item","numeric-id":3503740,"id":"Q3503740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53668e333f3b77052fb60f62f83ef085a9209734","datavalue":{"value":{"amount":"+0.8506172","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4633540$B0BFF3F6-1E4C-4C53-B574-5D5494C58FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff96dac6610beccbad4a123e63b648201cdcd9f2","datavalue":{"value":{"entity-type":"item","numeric-id":4531381,"id":"Q4531381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d82880e24baaaaf767d07ddc747a6fc0039de24","datavalue":{"value":{"amount":"+0.8485383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4633540$DE97C44A-7556-49A6-A3AE-E54C86831007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cadd85731417f87ca499bcee835b6100c251ac54","datavalue":{"value":{"entity-type":"item","numeric-id":1702923,"id":"Q1702923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac21d5504e9de5542b75c0801afd42f5f67e1d71","datavalue":{"value":{"amount":"+0.84848666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4633540$092B3BE3-2430-46D2-8B4F-938BD711D31D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"String Analysis via Automata Manipulation with Logic Circuit Representation","badges":[]}}}}}