{"entities":{"Q4933337":{"pageid":6962919,"ns":120,"title":"Item:Q4933337","lastrevid":51101834,"modified":"2026-01-16T16:33:38Z","type":"item","id":"Q4933337","labels":{"en":{"language":"en","value":"Symbolic automata constraint solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798927"}},"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":"Q4933337$0268DA78-9A27-4FD4-842A-387B343F6BFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34bf8e690c9796430778b08546dfebc01e54c204","datavalue":{"value":{"text":"Symbolic Automata Constraint Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933337$40BA6DB8-598A-4471-BCA1-1DD9C257A089","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eada34fcea0fa099a9fdc6229f8b20858c10cc14","datavalue":{"value":"1306.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933337$B39411D3-C992-402A-B5D1-A76F1FF1606D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbca63f824a9e393d79ae2d6860defdd31f9f3f9","datavalue":{"value":"10.1007/978-3-642-16242-8_45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933337$616DD826-82D6-4284-B38A-2A9430E97AAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"798125e2bf84cd3371872ac90f65bc577c3ec746","datavalue":{"value":{"entity-type":"item","numeric-id":286961,"id":"Q286961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933337$B089F05B-C3A1-43AF-9673-03C80B657B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f1a755ad39b856fc5a2e4101b7c12f7b83c7256","datavalue":{"value":{"entity-type":"item","numeric-id":483050,"id":"Q483050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933337$8479893A-C613-46B6-AC29-441458D3C038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"899468d0fe4ec0ae9c5ef91b63881ae72bf40a46","datavalue":{"value":{"entity-type":"item","numeric-id":438532,"id":"Q438532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933337$6D16F5C7-EA70-41F3-9FAE-05CC64A6FB00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933337$23B1C4FE-F7BD-4E0C-B1AF-D6A6D2C65962","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933337$53B2B4A6-34CD-4562-910E-2E34317CB349","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933337$40AE174C-C16B-4BC4-A167-294277130B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933337$C690996E-DB6A-4137-93BF-CDD80A942CDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8f7af0312d10cd2e2e531dfd42e3490dc3c00e9","datavalue":{"value":"5798927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933337$AF59B992-A966-45D3-8F5F-924822A5FF94","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933337$CA9E1312-DDC2-40EA-A009-9C7FE1FE0CF9","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":"Q4933337$4B97AEDC-0EB0-4F07-9C0D-016DCD9A7889","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"189b0f358f5fa059d9ebce61c221c60ff04ba169","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16242-8_45","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933337$8BA32907-7C56-4EBC-9A0F-90937C2A3DDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eecf9411f2246c5426167cd36b5affa0cbd43dc6","datavalue":{"value":"W2098697136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933337$96E7211C-4FB8-429E-B078-C68681983E13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b2e08f73f62e28259e395453e917e84bed531b","datavalue":{"value":{"entity-type":"item","numeric-id":518402,"id":"Q518402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a9f874108974e9b4329d395f77dd1846f08846d","datavalue":{"value":{"amount":"+0.7957820892333984","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":"Q4933337$34861E25-B869-4240-A9C1-0D13C08D0A53","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":"85c09828c83b37d40ea7d287ab8ed1ef7d95fa1c","datavalue":{"value":{"amount":"+0.7865644097328186","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":"Q4933337$C6143FED-BE89-40A4-BB87-F7EC95B6B2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe307e50fa6e08a5a0532ef08eb312437e27c28d","datavalue":{"value":{"entity-type":"item","numeric-id":6487302,"id":"Q6487302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd018214509e304de22590b86fefd394213092d7","datavalue":{"value":{"amount":"+0.7769496440887451","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":"Q4933337$83805593-AAFB-468E-8029-22120C574DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516a4e55624151a478599fdf74f63512239074b9","datavalue":{"value":{"entity-type":"item","numeric-id":2894292,"id":"Q2894292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b23cc26420cca8d5420d53669405859741f1649c","datavalue":{"value":{"amount":"+0.7690861821174622","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":"Q4933337$4E18CC5F-6940-4E30-A63E-87C57B0D3A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb0c6616d1745f1d93685a9149fdaeb54ab56075","datavalue":{"value":{"entity-type":"item","numeric-id":2680985,"id":"Q2680985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e26ca51aa958de94c7d45aabf61b00b143b61a0c","datavalue":{"value":{"amount":"+0.7657963037490845","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":"Q4933337$30820F5F-0FFA-4981-A278-1F5178205E0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933337"}}}}}