{"entities":{"Q6201710":{"pageid":13336597,"ns":120,"title":"Item:Q6201710","lastrevid":58766331,"modified":"2026-04-06T15:42:39Z","type":"item","id":"Q6201710","labels":{"en":{"language":"en","value":"A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7807741"}},"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":"Q6201710$682215C2-BC1C-4EBE-826E-E627B2322B9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9cc33c68d33063a2251e4f94fb5c2e0447e1769","datavalue":{"value":{"text":"A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6201710$0ED7D555-36A8-4934-BBCE-CACE65EEC3DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"507aa69a37f8b7f3469f11ac7f287a422a54948e","datavalue":{"value":"10.1145/3625230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6201710$03E81854-C5DF-43C0-A28A-5F8830C7F8B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7468d844d5ebe9faf1e361c1d02644796ce3e4d","datavalue":{"value":{"entity-type":"item","numeric-id":1617836,"id":"Q1617836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$C0A55A51-D9B4-43D9-A100-9509F6DFCDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd4721b9bf7d65faf5816017392281660320d608","datavalue":{"value":{"entity-type":"item","numeric-id":206866,"id":"Q206866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$0FA04E9C-28CF-411A-84A2-6AB77E34FAF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$CD54E037-55F0-4B94-A6BB-0706F7DDB53E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53360f7ab3681474b85d2627dbbaf9766814842d","datavalue":{"value":{"time":"+2024-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6201710$A35E54BD-9CF6-461D-824A-E373C00D09E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2fedcad61e7e2bc7989dd3f1cd70fa93a6e0aa8","datavalue":{"value":"https://arxiv.org/abs/2105.03005","type":"string"},"datatype":"url"},"type":"statement","id":"Q6201710$AC3508BF-8E0E-4FFA-A744-231FEA2FFB23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6201710$64ABBEFD-2B98-4B91-B40F-26B197C11E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6201710$DE81EBF6-44D3-4AD3-BBBB-E62A51D93D33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11f5b8ab7ba933ffec3d51f72fc89160c10873f7","datavalue":{"value":"7807741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6201710$90DD632C-2DFD-4306-850F-79E4DF6CF793","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43a1b0809b817551f0d53c09c1c809f5733cbbba","datavalue":{"value":"\\{log\\}","type":"string"},"datatype":"string"},"type":"statement","id":"Q6201710$C3012A7D-88F4-434A-AFE1-2F9CC12BC8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6201710$FDC87E99-EAA6-4A2E-960D-4CB2275CBED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a31f72f26c01dbabd9089ae8e78b5313ab301e2b","datavalue":{"value":"integer intervals","type":"string"},"datatype":"string"},"type":"statement","id":"Q6201710$1B8F8E5F-3E99-405D-A655-360B9F10ED8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6201710$46AE3991-A145-41BE-8483-BAC9D361BC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6201710$9B0A9C38-FE03-4116-B846-C73D28948B4F","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":"Q6201710$69155F34-39CC-4449-9216-DC570FE85665","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89c8701d27d14ef9f66ff8f51e7cef4a59bb2de4","datavalue":{"value":"W3162701640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6201710$446BC813-28FE-4B13-96D4-7CCDA88B767D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$CE3B5B1F-646C-4A5A-849F-452A7874D9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb03578ceee8d5f3eded579265395839113bf7df","datavalue":{"value":{"entity-type":"item","numeric-id":4737128,"id":"Q4737128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$63725706-16F3-4678-9340-C46FDDDDEBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e690a622a61afeb0c2a7c388c1cf18ef89252c9","datavalue":{"value":{"entity-type":"item","numeric-id":861705,"id":"Q861705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$4A289283-A394-491F-8A8A-0F8198C136DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e831b6e4365c6f3542c2b1b71cef2e9d33fa8b","datavalue":{"value":{"entity-type":"item","numeric-id":4553283,"id":"Q4553283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$F5665CA5-46BB-475D-A77A-35E0FBF52864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$47F19FBA-8DED-4072-8206-9EEDF3BFA4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6714703c2ac2de65e10e0dce7b5e113a3ecfe96","datavalue":{"value":{"entity-type":"item","numeric-id":2575737,"id":"Q2575737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$81160331-865C-49F4-809C-E635BEEF8DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f596328d3ac1c2d847c2c458d27f2a92d2151722","datavalue":{"value":{"entity-type":"item","numeric-id":2303241,"id":"Q2303241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$EDAAC2B4-D5F5-43F3-98AB-090EAA96EE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e244af8b05925e82f00d45e7ee1d4d17907d2e","datavalue":{"value":{"entity-type":"item","numeric-id":2666960,"id":"Q2666960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$80588A67-1C0F-4873-BFBE-CD414779BD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5104666c1a55e21a0cea2389e46ad35642d435fc","datavalue":{"value":{"entity-type":"item","numeric-id":2031424,"id":"Q2031424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$53AA9063-814A-4528-B137-EF51A034EAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ad6b6d559d56b935a7bf439fabc97812299c5d","datavalue":{"value":{"entity-type":"item","numeric-id":2069869,"id":"Q2069869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$D2404A4A-1609-4D4B-8593-F46FF9401FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"addfd2d4d91721262cb9c3ed3d5a17c3b109d33c","datavalue":{"value":{"entity-type":"item","numeric-id":428887,"id":"Q428887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$27AF6C1A-B489-4884-96AA-FE0417C28C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d87b2178f5e8960411f72a4a0b0e841813ac2548","datavalue":{"value":{"entity-type":"item","numeric-id":1617837,"id":"Q1617837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$BAD94FC5-DB22-4176-92A2-6B238A77ECC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$348791FF-D455-459A-ABB7-25D754922118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"553ca42b1d615b83f4cd57571fe94d74e7c66de5","datavalue":{"value":{"entity-type":"item","numeric-id":1405334,"id":"Q1405334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$96B76126-DD8F-4AEA-B213-A346FD8EE84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5332fcb40cd2e853c72a7b96d801efc432319e99","datavalue":{"value":{"entity-type":"item","numeric-id":2460254,"id":"Q2460254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$1ACB2886-89CE-4196-9E7A-9F2ED1F68917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bebb4f001980250b259d813bf24727dfdba74f91","datavalue":{"value":{"entity-type":"item","numeric-id":2182727,"id":"Q2182727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$F2920FB3-4886-4EEF-B95F-C26B5128F2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6e720fd15afc47b9372d1442f5fb3e9e27d4172","datavalue":{"value":{"entity-type":"item","numeric-id":3452504,"id":"Q3452504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201710$1D467819-AA61-49E1-8D4F-A65288A4647D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8a66947a8289f8fb57fedca3125ead7fd7b098e1","datavalue":{"value":"Q130860092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6201710$98FD0758-B8B4-4E8C-8AE4-AF041D2D35E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6201710","badges":[]}}}}}