{"entities":{"Q4167597":{"pageid":6197198,"ns":120,"title":"Item:Q4167597","lastrevid":40861111,"modified":"2025-04-12T01:53:49Z","type":"item","id":"Q4167597","labels":{"en":{"language":"en","value":"Synthesizing constraint expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3601123"}},"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":"Q4167597$E7564A84-E953-4D8A-BAC2-6F138A515A4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac566d6cf242807752da7ba0a7b6fc8c45aeee1e","datavalue":{"value":{"text":"Synthesizing constraint expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4167597$E6B4C54B-4DA5-46AA-8E23-DFEDBEC07334","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29af422f517944bfc91a9db3a8806361cb339190","datavalue":{"value":"0386.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4167597$161CBA7D-6485-4CFF-859B-3DA99806505E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"904e46b0153d0f00c115ba3ccc0f7a820a4dca73","datavalue":{"value":"10.1145/359642.359654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4167597$72FEB066-ED60-4042-A62A-6DD5BC69BF04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc826887aac23b8ca5cb3515219d7697db760c7a","datavalue":{"value":{"entity-type":"item","numeric-id":606919,"id":"Q606919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4167597$C9D21B30-AA6B-49B9-BC89-69471D93DA0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4167597$59C2FC3A-C9B4-417D-A6C2-4483D72E5439","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33b32524e50e4a01d1fe2790eaf2772fb3070109","datavalue":{"value":"http://hdl.handle.net/1721.1/6247","type":"string"},"datatype":"url"},"type":"statement","id":"Q4167597$8829F9FE-2F13-4D8D-B133-17388110A491","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25fe30a6fe5285f54b3a7ea7d7e97ac0b640e4f9","datavalue":{"value":"68R99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4167597$B9B157FC-193A-40A0-9FBC-AC7AA9FCDBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4167597$52B8953C-DD4D-4934-B29F-F787E56716DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3272e86755ee09c8d55dd65008ebefed71931d6e","datavalue":{"value":"3601123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4167597$F794DCD8-F79A-48A2-8BD2-F8851C2292D3","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":"Q4167597$4A51052D-7799-4A02-BC31-6A0D189B789C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5921c803b20ce7d9b901ab58fdcdaaa34b5be7c3","datavalue":{"value":"W2072755230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4167597$4E5B2671-0F84-429A-86FE-B3D7FBA4E029","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087426e75e65ba42be09a15851f31de13b7aa5f3","datavalue":{"value":{"entity-type":"item","numeric-id":56730,"id":"Q56730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4167597$E1901A6D-40F8-460D-A5FC-5F0492B55DA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4167597","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4167597"}}}}}