{"entities":{"Q6597951":{"pageid":14209108,"ns":120,"title":"Item:Q6597951","lastrevid":56844897,"modified":"2026-03-23T18:52:10Z","type":"item","id":"Q6597951","labels":{"en":{"language":"en","value":"On the satisfiability of local first-order logics with data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7906363"}},"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":"Q6597951$70CE65FD-E425-42E1-8A5D-1CD3262F5F08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5412aabce11902b06c051437a791e84027dcbd70","datavalue":{"value":{"text":"On the satisfiability of local first-order logics with data","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6597951$3EFBD596-7F16-42E5-9CCF-5475AAE33802","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":"Q6597951$9848DFF3-303B-4FD9-A1AA-2E451603761B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19e3b17c47ff1724d3fa8b0c056814a8c6ac414c","datavalue":{"value":{"entity-type":"item","numeric-id":896911,"id":"Q896911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$B72E9745-8348-45C5-A708-4D512586C893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf3b95e8c80827507eec4e16f313477aeec614c3","datavalue":{"value":{"entity-type":"item","numeric-id":6187055,"id":"Q6187055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$718FE8FE-57D0-41FB-A174-4532436099B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$40A48DA2-ECB9-4470-A672-3CCE4BEC8D1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"462b27fce30c179dbb6a00021c60444254cd83af","datavalue":{"value":{"time":"+2024-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6597951$0B5CFD6F-AC47-41D3-9037-57F9768A69A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6597951$4F3F0A73-AF74-4FC6-9910-4E0A014DF9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6597951$70298F8D-945B-4563-BD55-61C9E9023B9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8ba03e8f3a1891e77035159cd2abff4397c3653","datavalue":{"value":"7906363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6597951$3647C5DC-8CBF-4437-9CD8-D8BC3F5D772B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1cb973d770eb50c6dccf5a3ffb2c264ddfcf592","datavalue":{"value":"first order logic with data","type":"string"},"datatype":"string"},"type":"statement","id":"Q6597951$097E60D9-2673-4669-BF26-F145B359D984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6597951$876B22FA-6DDE-4029-9046-8E1A17D41156","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":"Q6597951$C140DE9D-9937-4AF7-AEFF-5585D00ED1DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df75f5b9f23bbd2a8981e0ac41825ef2bf0f62a","datavalue":{"value":{"entity-type":"item","numeric-id":1706162,"id":"Q1706162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$40D6BC34-2D1D-4BB3-B4F2-F57B36034470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fa17cfb0c3b1bd6e8adb2797151d49839d70ab","datavalue":{"value":{"entity-type":"item","numeric-id":3525617,"id":"Q3525617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$0C468DE1-8FEA-403A-B68B-DDFA58FDEE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"892824f318d255b9db61c186204a549abbf1b95f","datavalue":{"value":{"entity-type":"item","numeric-id":2289067,"id":"Q2289067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$8CD277ED-E941-402B-B5EF-059E416DDC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb4a91e9cc7eca8e9ff5f00e4ce6d5e415cf749","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$2701AE26-15A3-4AA5-B9C0-ED0FF52CEEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$6AE94D2F-2A37-445E-8AF5-E16F93664093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2426859933ded65ecede93f0dda338fe32c6c26e","datavalue":{"value":{"entity-type":"item","numeric-id":4568312,"id":"Q4568312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$4DF8E9F8-7146-484F-B7CF-EFD28E6E1635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1353ad237dcb172a86130dc2598975d265f19e6","datavalue":{"value":{"entity-type":"item","numeric-id":420856,"id":"Q420856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$9573D731-A04A-40AE-AEB2-E34918E13D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b57d5224096e5b1977c4ed46b0dfb10c94f703d","datavalue":{"value":{"entity-type":"item","numeric-id":3452211,"id":"Q3452211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$976F3799-A806-4DFC-BE3C-BCE74281437F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53bc48c87d482bd4be0543fa3651e3c4d79afbd2","datavalue":{"value":{"entity-type":"item","numeric-id":6187056,"id":"Q6187056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$5B1482AF-0D4C-451F-8E88-489C55B8729A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ae1641ea82d0197e62f4f1f0e05f0a74b7e9f8","datavalue":{"value":{"entity-type":"item","numeric-id":6191001,"id":"Q6191001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$EB7B9104-1A55-4797-AF97-77608BE95F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc5539e128cb2a3a030ab7c044531171325b0cf1","datavalue":{"value":{"entity-type":"item","numeric-id":6060103,"id":"Q6060103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$E90B939F-0BA5-451E-BD0E-3728B5E47A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633fa92e858a340ccee89edd220e0d818a3e76b8","datavalue":{"value":{"entity-type":"item","numeric-id":3190138,"id":"Q3190138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$E25EF40C-C7B3-4CEC-A1D8-8C3E3EF1BEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be4c10713dc8a049bf69c817dfcde9c9cf557e4","datavalue":{"value":{"entity-type":"item","numeric-id":5696925,"id":"Q5696925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$255E6541-0CEF-44FF-8FA7-F2053763C6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03d99f6827cef19b3fe0f6c547f29f0cd3def9a2","datavalue":{"value":{"entity-type":"item","numeric-id":2965467,"id":"Q2965467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$0D79D22C-93B5-4174-945D-B2E7E5931AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d02145d669f77cb1160f029332407b34a7cb457","datavalue":{"value":{"entity-type":"item","numeric-id":2506493,"id":"Q2506493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$06B98DA0-6A3E-4265-941F-1413CFB31511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0045e5b94ed384b2626905e61efa9c3bff30967a","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$8F75ED5A-0FD6-4E86-BFBC-D334096C9792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f1fe3268f7e6e33ef77f8aac216d8602b041624","datavalue":{"value":{"entity-type":"item","numeric-id":2865941,"id":"Q2865941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$A1E7FD82-1225-45B9-A6F5-D4806DAF4E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0a97d677c543eed20f3fba57e0fb39772cf85a6","datavalue":{"value":{"entity-type":"item","numeric-id":5851102,"id":"Q5851102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$488FF6CE-3E3E-4962-BC49-CEBD772DF68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d51884ce52d70cd57236b11c06e7add9289d22b","datavalue":{"value":{"entity-type":"item","numeric-id":5551141,"id":"Q5551141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$F2AA5318-2CFE-4D71-9B9A-46310E615FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70415211cfe84908ddcdabfc0c0a97bbbc2328dc","datavalue":{"value":{"entity-type":"item","numeric-id":5824365,"id":"Q5824365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$36A32AA4-D1A9-4B9A-87E7-B4922645CFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b325ce1a576881b11260db294d6b2b694a76ea","datavalue":{"value":{"entity-type":"item","numeric-id":5394585,"id":"Q5394585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$DD456D50-5ACA-4557-9E7B-70B552817BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23a1f7e04ff9fdd6909616f01cd17235f45c786","datavalue":{"value":{"entity-type":"item","numeric-id":5892437,"id":"Q5892437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$3DEBEC8C-F363-4F29-AA1D-55FC54EF09FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645f01aa1359288a3beb20e956bad5cd0e9d3ca3","datavalue":{"value":{"entity-type":"item","numeric-id":2908879,"id":"Q2908879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$D4D6BBC3-FECC-48D6-8A6D-359619C40DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fea99463363043d5be2ede58259215d91ecfdd","datavalue":{"value":{"entity-type":"item","numeric-id":3179167,"id":"Q3179167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$B1E10104-60EB-4896-805E-A8B1F31462BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$5A3A01F9-A17B-4842-A8C1-090B2EA4A56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$698830EF-53D2-4C7E-AFAB-AD59C2AC4A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e27a5bdf444ae833afe1316cf9afeb1fede55f6","datavalue":{"value":{"entity-type":"item","numeric-id":1047797,"id":"Q1047797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$183791C0-2F51-4AAB-AA8C-961C64F2DF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b764edc46b3437b3a04acc866f1a59d5780f998","datavalue":{"value":{"entity-type":"item","numeric-id":2958540,"id":"Q2958540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$5A1D8755-9E95-4616-8481-A55774D2C0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee80ab534d8a303cc5dd0717328992e19f49d822","datavalue":{"value":{"entity-type":"item","numeric-id":2747711,"id":"Q2747711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$04710414-2E91-470F-B83D-216EB030B538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9fa5a2c185c4a7a998608df2f3a972936a026e","datavalue":{"value":{"entity-type":"item","numeric-id":3613328,"id":"Q3613328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$7D4CB1EF-261F-4384-B8C3-1265743F4C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"313ad0cd885536fd006ef256b06cb980894cd3b1","datavalue":{"value":{"entity-type":"item","numeric-id":5410335,"id":"Q5410335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597951$8023E3F2-399E-496F-8AF4-3E2C30DCC50B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a7a6a8686cc5bdeffe718855dd9db93195a4498","datavalue":{"value":"10.46298/LMCS-20(3:1)2024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6597951$42F55784-8AA1-4574-B6BD-58F8CB5EC34F","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":"Q6597951$C5DA4C83-90E3-4A9B-B00C-5698EBA80DB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6597951","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6597951"}}}}}