{"entities":{"Q3613431":{"pageid":5643337,"ns":120,"title":"Item:Q3613431","lastrevid":50603786,"modified":"2026-01-14T13:14:15Z","type":"item","id":"Q3613431","labels":{"en":{"language":"en","value":"Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528311"}},"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":"Q3613431$99657A27-05D8-44E0-801A-4ADF050C9FB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65ae739822ef5741299aeff6c0cb5579904101f5","datavalue":{"value":{"text":"Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613431$7CB3312D-EF70-46C5-9622-9A4748C00F63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1408876b4c70864fd5e1ab2e1a7009374d5461d2","datavalue":{"value":"1222.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613431$9BA3214B-120D-4A8B-90DC-7AE4CEEFC82B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf5c53d3a8a00ed8833b3f2b3de034f94940156f","datavalue":{"value":"10.1007/11814771_42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613431$BC834D2D-9AD5-4983-B0E1-42844217BB11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b455290f5b835c3773a6eb2262897ac70e7a163b","datavalue":{"value":{"entity-type":"item","numeric-id":287273,"id":"Q287273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613431$5CC552DE-DDA6-4C1C-8F61-8776DDDCAE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613431$FADB4A7D-79FB-4B21-9F1F-AB5D9B921A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50e50528f45a8bb28ce09efe5389b579bf5ff46d","datavalue":{"value":{"entity-type":"item","numeric-id":438571,"id":"Q438571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613431$5CDFB74A-63C9-4E42-BFE5-C64C6C776A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613431$632DC9C0-254C-4F9D-802D-EA20A4EE0FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2aac917e4665717c34bbc71235a9093a7d6741cc","datavalue":{"value":{"entity-type":"item","numeric-id":438570,"id":"Q438570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613431$A0D062EC-56A3-4362-87EC-3031D434240C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613431$CA8A128C-6033-4172-8E1F-DDF4A4262BAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-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":"Q3613431$98F2B733-918E-4DF4-A94A-F36DF8287835","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bdddd8e9273cb07ad94adc4ecaa0724c56b1688","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.8496","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613431$6D00323E-A583-49CA-BB73-115E44C49468","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613431$25207CC6-2A2A-4668-874A-156C8AAEE739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613431$F68614FC-D418-4B38-A18D-B95DA7E44604","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"236887267a0ba539014abce607e2acc7fc938214","datavalue":{"value":"5528311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613431$F539BC6B-BED3-4FFD-B5D2-7E0ED9982E42","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613431$C1B16C41-594A-4988-8372-EE44DAC01A53","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":"Q3613431$9F5E188B-AA02-4A6D-8495-CD2FAC9E62B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b591a10577c95e659a279dee01242cc74b058159","datavalue":{"value":"W1543051890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613431$14EA4D25-F3FE-4A4B-B072-2BBC07A5DB61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64897cf9e7011c6f9fb9626035f5334d40e22842","datavalue":{"value":{"entity-type":"item","numeric-id":556677,"id":"Q556677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b739a5beb566c67deb5d24118ccd14523d45ea","datavalue":{"value":{"amount":"+0.8505796790122986","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":"Q3613431$270AF955-E105-4D6D-BDDE-52E8622496E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4ea264aba981e0f8695242063e7eeea21c350f","datavalue":{"value":{"entity-type":"item","numeric-id":2908497,"id":"Q2908497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e0a982183694b18a6e3df54570883f6d02a25cb","datavalue":{"value":{"amount":"+0.8417420387268066","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":"Q3613431$625C5559-9689-48B9-BF91-819911648A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b31fc71a6b23556d529814a409bb49f6e92fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1853591,"id":"Q1853591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a7f51ef9aaf45ee59835b3e02b6b309695f004","datavalue":{"value":{"amount":"+0.8266112804412842","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":"Q3613431$EF657E6C-510F-4A25-8B43-2D449A3E0C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b029dedb84983a37d837c81ef7ef3252417e9d4c","datavalue":{"value":{"entity-type":"item","numeric-id":851136,"id":"Q851136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813a99e2ce319b778cd4620819f99f4b33da442a","datavalue":{"value":{"amount":"+0.8136853575706482","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":"Q3613431$1B85BFE5-9897-4FA2-9066-6EB92B111A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"931b3cd54a342856b1779caea8653e417a8f818a","datavalue":{"value":{"entity-type":"item","numeric-id":5387918,"id":"Q5387918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f869701f30bc5ea87d636ccb6901ecfb2651723a","datavalue":{"value":{"amount":"+0.8133675456047058","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":"Q3613431$5BABBE2F-776D-4E45-8DA8-B3CDDE10C6EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613431","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613431"}}}}}