{"entities":{"Q4385439":{"pageid":6415038,"ns":120,"title":"Item:Q4385439","lastrevid":46525236,"modified":"2025-12-24T23:30:26Z","type":"item","id":"Q4385439","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1140674"}},"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":"Q4385439$AD9095F2-2203-438B-9A3E-92DB0B2D9946","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6662a7842f4d02d0957063f5e2bb24819f580c66","datavalue":{"value":"0893.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385439$22500822-9227-43A7-828F-6A5430B4107B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385439$6C8ABE00-EFA1-433D-81E2-A7C4603717E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"676fffe6e09d946bb698f2c3211080c693b4eb5e","datavalue":{"value":{"entity-type":"item","numeric-id":3490959,"id":"Q3490959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385439$DCDE9F33-183D-48AB-80AD-E294A68C093E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5db0d405f6ae86d2c7391df1633165283031cbc2","datavalue":{"value":{"time":"+1998-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4385439$DCC61BCB-2F99-40C2-96D2-DADBDC060E47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385439$6D7ECEC1-44A5-4C32-97ED-C8E4413B1236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385439$03639EE6-BD61-4956-AA08-0BD91493D0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385439$FDBAFA56-F5FE-4819-80B1-99621A4F427D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385439$76006346-ED7E-4C54-BE74-B3566857D807","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76d54a59cbc616d18b57b313f36a40b2f6de5a34","datavalue":{"value":"1140674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385439$A5053A51-FC16-450E-A23C-2489A5D6B446","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5db7d9c618d5514417c59100c74ae063644c699f","datavalue":{"value":"combination of satisfiability procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385439$3507D049-62EF-4B3C-98F9-86CF40AC92E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49f5c1987e111e62eed1c63bcf8eb7ef3c5423ee","datavalue":{"value":"Nelson-Oppen combination procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385439$3891D7A8-69C7-4E36-BF15-0BD7F65A7E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d7e8a9c2fef410a0ec0f47c6e1f03bb0f97bc1","datavalue":{"value":"first-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385439$DE79C3BD-D215-4E3A-AD72-CC5D19CF5A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c97c87aad358aaa4a159991a487a984d3a19cc4","datavalue":{"value":"theory combination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385439$E57B91EE-760F-4DE4-95EB-F6B56FD1E122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0eae0ecf7b6c72af6dd4cbe142596a34b6239b8","datavalue":{"value":"nondeterministic version","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385439$D6EA2360-61E9-46CE-A144-1C52ED1E69CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385439$D7D6B93B-221E-4C0B-9739-21C8EB29C0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d6bf56d8ef2fe791e9f147cc652bd4b24ddaccb","datavalue":{"value":"equality sharing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385439$C66B592C-5502-4C61-B65B-43D809FD14C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385439$C3FC9314-27BB-4A70-B49C-73554CF0E20C","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":"Q4385439$21F74FF7-CE60-4A89-9D44-13D98BCF9038","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":"9be800ad55fa2cb77bc7c135cb53fb767c9cf3d4","datavalue":{"value":{"amount":"+0.852748692035675","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":"Q4385439$044FDAD3-8BFB-4473-8EDC-C265D15B3C75","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":"e5b1018547c83e9830d6d6d97a1ba16cbad32f60","datavalue":{"value":{"amount":"+0.8438690304756165","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":"Q4385439$A737FDCF-EEEC-47D3-AA3D-F0D0DBBB9241","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":"6b036886734dbd3ae950fa31d88bc836f8f4fe2c","datavalue":{"value":{"amount":"+0.8238875865936279","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":"Q4385439$010CA65A-E25E-473D-B58E-47D64E5E97DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d1ee2b76c1c506a32de616b0b55aad34b8a7a2","datavalue":{"value":{"entity-type":"item","numeric-id":4417954,"id":"Q4417954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57d578d5b672b88ea6e8ddf11c356a6faba00aee","datavalue":{"value":{"amount":"+0.8167675137519836","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":"Q4385439$B765C32D-B602-447B-999B-687A491BE9E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4385439","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4385439"}}}}}