{"entities":{"Q2200816":{"pageid":2211559,"ns":120,"title":"Item:Q2200816","lastrevid":73580223,"modified":"2026-04-14T16:31:55Z","type":"item","id":"Q2200816","labels":{"en":{"language":"en","value":"Parameterized synthesis for fragments of first-order logic over data words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7250934"}},"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":"Q2200816$7438A796-DF61-4603-9A4B-DDEC1A79487A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33ae236c539aef3e5af7ede34c5076219360589d","datavalue":{"value":{"text":"Parameterized synthesis for fragments of first-order logic over data words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2200816$1CC770E5-6182-4CB0-A34D-A45B496498ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"458feaac2b7cb77d5b06ca88bc2c8176970c2988","datavalue":{"value":"10.1007/978-3-030-45231-5_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200816$79B9E2F6-6F71-4BCE-B2EF-682E656231B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65221e215393442395d12a6532e173c4dee8b90f","datavalue":{"value":{"entity-type":"item","numeric-id":420854,"id":"Q420854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$3422BC85-1C9C-4EB6-A56D-42F24B270B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"807422d0adf33a9d2e22480e407206be10c18040","datavalue":{"value":{"entity-type":"item","numeric-id":2200815,"id":"Q2200815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$028F7A58-2F04-4477-A596-144BABEF09E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e44eb185b6f1ec36cedc6917cf0a1983459852","datavalue":{"value":{"entity-type":"item","numeric-id":458385,"id":"Q458385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$103CE3AB-9437-44E5-95A2-AF4F8B6A7E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0b2fb0d8d0ef4d3f60b9aaf6e6e940befe4cd6","datavalue":{"value":{"entity-type":"item","numeric-id":453511,"id":"Q453511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$4DAF322C-6875-4FE1-961C-A9FBACFB3516","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"675a5c487b4c2f0d035548f97f026fe5d0481979","datavalue":{"value":{"time":"+2020-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2200816$E924DED9-950A-4EF7-9677-08DDB83267FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44b60bed2a13f350f3168e2dd5ac5ae13fe3fa5e","datavalue":{"value":"https://arxiv.org/abs/1910.14294","type":"string"},"datatype":"url"},"type":"statement","id":"Q2200816$B04D2194-E549-4FAD-AF2B-248DCF5BB6C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200816$F8851EE0-67BE-49DF-AD9F-25F49B70490C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200816$0BB5D572-4B90-4B0A-96E1-0F61F2BA77D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24d5bf9bff571becb3ed065e35ba9feb2ef40ce5","datavalue":{"value":"7250934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200816$BED2C62B-1E27-475E-8062-2440BAD3D160","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":"Q2200816$754337A1-5565-47DC-84A3-82E4378A47F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7965024e7f8fb022a1d351f5c9b9cfb876de89a0","datavalue":{"value":"W3022817002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200816$38761066-B20B-46EB-870D-587B2C206BCB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be67f799ffc5b3fd133657f657d0609a463820d","datavalue":{"value":{"entity-type":"item","numeric-id":5312942,"id":"Q5312942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$54C3255C-BD85-4474-AB4D-9986FB9FE313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$AFA12F1B-A0AB-4144-AD4D-276BA2B80FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba4064bdf078febee6c0f0306d2549b942863d8","datavalue":{"value":{"entity-type":"item","numeric-id":4371519,"id":"Q4371519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$250DFBE0-8328-47BB-8EE6-E961DE4B961E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0092ca3b21f3f9cb157bf2001ff878cfeab4655","datavalue":{"value":{"entity-type":"item","numeric-id":5261525,"id":"Q5261525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$E1DA13C9-3721-4BB6-ABCE-5C91B5654C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$B91C9F4C-B56A-4D05-BE9A-E7C5676BD351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c51840355e08753d0377af591c495ff9f8053cee","datavalue":{"value":{"entity-type":"item","numeric-id":5747653,"id":"Q5747653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$D2A6B90F-1FDF-44D0-8230-E259C874921B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb644c5841dd8ef7fdeb2c27817dada70761fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5429343,"id":"Q5429343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$FB0432F3-604A-4666-BAFD-39CF7973ADB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb6a694c413940271a785e87645155d12c05123","datavalue":{"value":{"entity-type":"item","numeric-id":2914735,"id":"Q2914735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$BAFA9537-7C91-488C-8123-68F9F3D66CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$13C91BE9-7403-45A7-91E8-F3AF3F9BC669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$1B7F89F3-7843-4486-9014-EBB4B4320970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed61338c8ff56191aea0588b04cb2088071ef44d","datavalue":{"value":{"entity-type":"item","numeric-id":2988664,"id":"Q2988664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$F522D84B-8BD3-4191-940A-2DF93D2C0AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1e46bde366c9665559a7c22a84b5c9d3a328b4","datavalue":{"value":{"entity-type":"item","numeric-id":5408415,"id":"Q5408415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$4B9C772E-FBF2-4839-B49A-BF3BD8F6D02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8a6a7f4a099b96912e5cba667c8ca70d007bb8","datavalue":{"value":{"entity-type":"item","numeric-id":287365,"id":"Q287365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$1E1EC522-9955-4634-BB42-1B76809B4F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80015c982f395703eb961f7d88d9ea85973eed1d","datavalue":{"value":{"entity-type":"item","numeric-id":5387904,"id":"Q5387904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$8016B090-F3AE-4B4D-BB5E-5272CB4AD023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac30c585b3eca0009fc86a02535b9a25c0d03553","datavalue":{"value":{"entity-type":"item","numeric-id":5758130,"id":"Q5758130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$B6321550-7BA3-481F-B579-CE5C0D19657C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$D7A6429B-5608-4E91-80FA-52E694DC9114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$87BCF730-766C-4A27-8EA0-980DED1C2B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e129a2d157f11eb104b6683d0c548da586ae805","datavalue":{"value":{"entity-type":"item","numeric-id":5823276,"id":"Q5823276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$356D9B07-02F2-4FD0-BA8B-F8A2B4011DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$0B3D8C79-270B-4D17-8928-5D7D92C687E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f52b641a8f0895d74b80dcb8113d8154802fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2894282,"id":"Q2894282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b19718df61a3a97d8cc13dfa8f5a87b4723450","datavalue":{"value":{"amount":"+0.8323187232017517","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":"Q2200816$D5C66A11-58F6-4EC8-A1E8-76ECB1B36B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deafc2c712f7a0987b5378bb41eadefc977083e0","datavalue":{"value":{"entity-type":"item","numeric-id":5404478,"id":"Q5404478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b4606046ee21c49ccf509a99350e6e04929757a","datavalue":{"value":{"amount":"+0.826187252998352","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":"Q2200816$B9816B31-839C-488B-BE62-5359CD906D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736c8fdf68c4ce06cc4443cb26dd0619616fbe25","datavalue":{"value":{"entity-type":"item","numeric-id":2926642,"id":"Q2926642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a59f665b925250c296266f42ffbe978308dbe3","datavalue":{"value":{"amount":"+0.7675009369850159","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":"Q2200816$46A6D9DE-A832-47F1-BAB6-A3CB982E06FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7664ea195b09da5412a1afb3ca2159dbcd6316","datavalue":{"value":{"entity-type":"item","numeric-id":5856426,"id":"Q5856426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2e10aca34ff95a7d99ebc37a564a698a8edfe0","datavalue":{"value":{"amount":"+0.7517499327659607","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":"Q2200816$6CF7476A-A7D4-48AB-B21D-DB935F982123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60ae1c0f5785c71d17f86633fc5976110c44621e","datavalue":{"value":{"entity-type":"item","numeric-id":5875385,"id":"Q5875385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94f88b873d5e749dc76e2db4e906ebb915db935c","datavalue":{"value":{"amount":"+0.7508019208908081","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":"Q2200816$E050B03A-1ABF-4B28-BD3F-E211294622B7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200816$645EFF1A-E0A5-43BE-9F97-CD24EFC6ABCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterized synthesis for fragments of first-order logic over data words","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameterized_synthesis_for_fragments_of_first-order_logic_over_data_words"}}}}}