{"entities":{"Q6150112":{"pageid":13284419,"ns":120,"title":"Item:Q6150112","lastrevid":39729585,"modified":"2024-12-30T17:55:49Z","type":"item","id":"Q6150112","labels":{"en":{"language":"en","value":"A decision procedure for string constraints with string/integer conversion and flat regular constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7813602"}},"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":"Q6150112$07CC4972-E821-48D6-95BF-DC326B53A5F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"635708b8c1399a7d72c7a5ef922624473cf54d13","datavalue":{"value":{"text":"A decision procedure for string constraints with string/integer conversion and flat regular constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6150112$4BBA61F8-4EE8-4E65-8BD3-E13394B48D3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6150112$1325B900-77D7-4189-A94A-4E6A9E5196A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c36f49e8b4c980a4dd1d9ff655af85a597603033","datavalue":{"value":{"time":"+2024-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6150112$DE0B9AF5-B3B9-4601-A225-EBA4ABE84940","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6150112$C2940646-5807-4CC8-BD75-BB673DE9DF03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9ad776b0ace006dfff27ba58f62dd3ad1575955","datavalue":{"value":"7813602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6150112$855584C0-9E17-484E-968B-F6E5AEA61F12","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":"Q6150112$8A72AE52-FD86-412E-84D7-C5DBB06FDFF7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31f410545b2d51df3c4a2547bf2d62b5a985f16","datavalue":{"value":{"entity-type":"item","numeric-id":3772178,"id":"Q3772178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6150112$23603E4F-F62D-494F-B8D7-EF688C93ADF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6150112$636F7237-C026-4EA6-9D64-F4D77ED6540A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d900351da38b5aee7b71b54ebcad9b0a795d46c","datavalue":{"value":{"entity-type":"item","numeric-id":1798903,"id":"Q1798903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6150112$1BEBC7C2-388B-48A2-81DD-F8A8CE6B475B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c062ccb7e3811a9f8638f8a896705562b3c67e","datavalue":{"value":{"entity-type":"item","numeric-id":4635632,"id":"Q4635632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6150112$3D369462-3A46-44F2-9E10-F26CEBAFEB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af715aae48cd14c943c8337adae687a070af0749","datavalue":{"value":{"entity-type":"item","numeric-id":375907,"id":"Q375907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6150112$2C7C7673-4835-49D3-A730-89D70E300B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b12ffa638fd7fd2f8d42aaf2cea823298b1d441","datavalue":{"value":{"entity-type":"item","numeric-id":4146913,"id":"Q4146913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6150112$1D04A883-682B-492F-8709-7E1C7F982ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59a48e599820b25292d5ee25056fbb9acec2899d","datavalue":{"value":{"entity-type":"item","numeric-id":4063432,"id":"Q4063432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6150112$1FA25BD8-ADED-4246-A654-C3502AFFB251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d179bdd83dd52ebb1134a0d415ec33f0098896","datavalue":{"value":{"entity-type":"item","numeric-id":3328515,"id":"Q3328515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6150112$9FBCC667-37F0-4A11-96AB-23714880C78A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8add4e1b7731dc3150957ed68331f6e1d02c9fbb","datavalue":{"value":"10.1007/S00236-023-00446-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6150112$C9DAA75A-1A17-4417-BA31-DE2904837C55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6150112","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6150112"}}}}}