{"entities":{"Q3460067":{"pageid":5239467,"ns":120,"title":"Item:Q3460067","lastrevid":80524163,"modified":"2026-05-06T16:23:39Z","type":"item","id":"Q3460067","labels":{"en":{"language":"en","value":"Abstract domains and solvers for sets reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6528793"}},"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":"Q3460067$C0DEA81F-8145-4685-BD64-AE8828148EE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72de946a7758b6f477afc5ba74b3d72416215215","datavalue":{"value":{"text":"Abstract Domains and Solvers for Sets Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460067$4A8AD485-EE98-432B-A68B-4E9875D6DA88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd0a459ab5784ac470918046eda4e59cecedff4f","datavalue":{"value":"1471.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460067$16ADC6B6-D4B3-410D-8194-ADD0DD7611E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48aebe8ac41e3e6263533a4c513202c10e831b26","datavalue":{"value":"10.1007/978-3-662-48899-7_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460067$E97960E5-AF49-4A44-A081-55059C9657AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79f8bc2fe1e487ee054379ba22f153808c7ebcc3","datavalue":{"value":{"entity-type":"item","numeric-id":2894262,"id":"Q2894262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460067$C48C2EC0-BA5F-4BD5-92F2-96DAE56F99A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec4bc11f85fec3cd8651169b233d6ebf4d4c0600","datavalue":{"value":{"entity-type":"item","numeric-id":2145337,"id":"Q2145337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460067$7040A852-46C8-4E74-ADEE-022A1560A33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa5636e03a3b81c1670f14f602a8010a321af633","datavalue":{"value":{"entity-type":"item","numeric-id":3460066,"id":"Q3460066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460067$983F1F49-C439-4DD0-93D0-5A8070079CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aac153c7f5276ccb8d4b5887e76c2d988e6dbdbb","datavalue":{"value":{"entity-type":"item","numeric-id":681351,"id":"Q681351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460067$FE588229-0056-45A5-9AE6-947A7875396E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460067$4C8D385E-7278-4917-BB03-503C585589FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f91432dc3d3ba35c1a5312422600047e5b632480","datavalue":{"value":{"time":"+2016-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460067$4E39D638-057D-4997-A129-7C4BF6FF9E3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460067$294B11BA-23EE-4952-BC88-067E489C3062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460067$E575A3B8-8926-4C6D-A5C8-1F0063DC1FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460067$E685BFB4-0741-449B-9A1E-5715146E8C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460067$2BD6A2F2-FBF0-492B-A92E-9F6D09745BE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8344aaa9c9becc90dd041507452dcc6a74ad6d4","datavalue":{"value":"6528793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460067$14BF8D4F-7854-42F7-AC67-B80E79C61318","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":"Q3460067$4B3D278B-5DD8-4C92-B1E0-BAC74CFAFAC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"580d3d7aecccffd9f02cf4eb99c6998944651303","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48899-7_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460067$1E18C2F9-9266-470C-9593-E35D87498583","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"712ea5f25ceb292ea31cb2e7e445a0e4c1be397f","datavalue":{"value":"W2288373424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460067$D021ECFC-AB54-46C9-B6BA-0479CCE8C32D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322fa62bfc4b0e41dd5293214d1197d5378a96b6","datavalue":{"value":{"entity-type":"item","numeric-id":5505562,"id":"Q5505562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"252b632b78e63c0699badca06127cafe24842138","datavalue":{"value":{"amount":"+0.7273642420768738","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":"Q3460067$2A2BCA57-5E2A-4E68-BA0E-AC7E616983DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec7c0d5feaf5fba28d8b65ae4f3a07e91b1d9686","datavalue":{"value":{"entity-type":"item","numeric-id":2891398,"id":"Q2891398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc8a1fd5d5706149285e174c208f125e61f8ffc","datavalue":{"value":{"amount":"+0.7266516089439392","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":"Q3460067$4B735AF2-3083-4B58-B452-761B7741BF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b98fee379474c45a544059b51ac20c5ecd71ff6","datavalue":{"value":{"entity-type":"item","numeric-id":3189843,"id":"Q3189843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e84d840cc308318a31c7f336aadfcf080a5838","datavalue":{"value":{"amount":"+0.7175793647766113","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":"Q3460067$7643B5E0-AEE5-4968-B5DB-B42CDEFF343E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c17e1a174912948a421353e27083551b15cf727","datavalue":{"value":{"entity-type":"item","numeric-id":5897434,"id":"Q5897434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad126f304be1e874280fe12ef75a329aef1d0eff","datavalue":{"value":{"amount":"+0.7150470018386841","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":"Q3460067$DA7E29D1-5FB7-41F5-B5B2-CE3A684CDE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b5ca0ef69fd9bc3dfbaf7db7ef189740e9061c","datavalue":{"value":{"entity-type":"item","numeric-id":4518879,"id":"Q4518879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46b1ec0e207329a96ff3aab7d212ee3b77b208ea","datavalue":{"value":{"amount":"+0.7097560167312622","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":"Q3460067$A8E88D2E-C7CB-4444-A094-9EE855222DAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract domains and solvers for sets reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_domains_and_solvers_for_sets_reasoning"}}}}}