{"entities":{"Q3204066":{"pageid":3214774,"ns":120,"title":"Item:Q3204066","lastrevid":45671587,"modified":"2025-12-15T19:30:09Z","type":"item","id":"Q3204066","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4180829"}},"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":"Q3204066$8571D7C4-4661-4622-8FDB-0B5C1E8B04F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21722bc539d1813b27861ed08357cca0c6fc0d6c","datavalue":{"value":"0716.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204066$441FFEFA-3D0E-48CA-B5FE-801E193E66A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a434abc5a608813151f83c2a2ac24ba2812904f7","datavalue":{"value":{"entity-type":"item","numeric-id":1189723,"id":"Q1189723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204066$FE76B3A3-9F75-4D30-BCD4-1102FC3D1D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"734c79b046efca182e752fcf8f4235cbf9fb2e5c","datavalue":{"value":{"entity-type":"item","numeric-id":1189724,"id":"Q1189724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204066$0C6EF701-7661-406A-BA46-B33AC29AE44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c418c61fc08df8e0831769ce6cff29e1e0eac992","datavalue":{"value":{"entity-type":"item","numeric-id":688563,"id":"Q688563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204066$69905C7B-1556-4B01-BC1B-9141ADAE8AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204066$DA6498D3-832F-408A-9658-3590F2F57850","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3204066$CE41EC55-F11E-4A44-8175-4FE0C465F90A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204066$91F9443E-B85E-4DC6-B034-9F359D314DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204066$D30F79FB-95E2-491E-90E7-5C48EFD399F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204066$2F56D557-C9E3-4804-A6F2-FCC163852165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204066$7E199A0D-9D9D-415B-A241-2C20EDC5C567","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67f7217cadb466efa156161ab4eaf53785f56062","datavalue":{"value":"4180829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204066$CA10D60D-AF50-4979-BFE6-420BA65FEE30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06335caed03ef9c4d90a961f723d047fe20d5d21","datavalue":{"value":"parallel resolution theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204066$C08BEB67-DD13-4AF1-89AB-CF28BECC4C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65a6dcdd0e55ec5adf62520f5059cff3f323c5aa","datavalue":{"value":"Loveland's model elimination procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204066$8270C8C0-BD46-44F9-8418-8543F3993782","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":"Q3204066$2584C1A1-2701-4ECF-9FC9-D7DA3937ECBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a971cb69f3ee325b28cb4cd3052ed1093d23738","datavalue":{"value":{"entity-type":"item","numeric-id":1189725,"id":"Q1189725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204066$71408C89-99D8-4FEA-9140-ADBA6AD6560B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e17781bce1ee102887185e1b39d38b59fe7e87","datavalue":{"value":{"entity-type":"item","numeric-id":6488521,"id":"Q6488521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8437b47d0de574538f5c2dfa07aed8915b5564","datavalue":{"value":{"amount":"+0.93230736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204066$FC8C40CA-BDBB-4887-8532-D5D7F9BA2A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d75b0de3eaf6679dda011cd141a8b7574811f0db","datavalue":{"value":{"entity-type":"item","numeric-id":3491009,"id":"Q3491009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8437b47d0de574538f5c2dfa07aed8915b5564","datavalue":{"value":{"amount":"+0.93230736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204066$CE2E8653-DBC2-41AE-AE93-8B4F62D26C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90d48d690e48fdf321ee2d3a912ecd028d2da3f","datavalue":{"value":{"entity-type":"item","numeric-id":5327362,"id":"Q5327362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346c1abd21566e813bb704202cf3dbd817bd3fa8","datavalue":{"value":{"amount":"+0.90505457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204066$D377B170-C6AD-4A19-ABF7-70C440C2BB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fad1674c6d83dc31194cbf0f096419a4ed6ac1f","datavalue":{"value":{"entity-type":"item","numeric-id":1102766,"id":"Q1102766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28ecc65941b5726b0697c7ee4b8173292e8f74e1","datavalue":{"value":{"amount":"+0.8966486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204066$01C603F6-8118-4639-8F4D-5003D71D79A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc0626cd3fa6a38cbe12563c26e9aa91bb99318","datavalue":{"value":{"entity-type":"item","numeric-id":4524776,"id":"Q4524776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3b09c0b8b795c45774cbc1005377c5b9e4885c","datavalue":{"value":{"amount":"+0.8834826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204066$E507B873-9A06-44C3-8D98-63D7C5ED616C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1748af548a2db5d7d245a0ebb4650561cd1670ee","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df9f08a61af09e5c559ec60ac414cd78e1472434","datavalue":{"value":{"amount":"+0.873768","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204066$35B9656A-B9C7-4F64-8867-6A205BA06ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875cc4f73fb74be10087e96ba425671d4de768ef","datavalue":{"value":{"entity-type":"item","numeric-id":1595925,"id":"Q1595925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d29461efdecdbbb6490d8b8098ccfba193d7ad","datavalue":{"value":{"amount":"+0.8687186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204066$2F807DEA-76AB-4269-8E68-74F72D543142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc202638374ea772190b3e3d3f5d32f56840118","datavalue":{"value":{"entity-type":"item","numeric-id":1978017,"id":"Q1978017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346b3bad45ede3679d7e039b2ac673ff7d7ae237","datavalue":{"value":{"amount":"+0.86178154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204066$BCB7CBE6-1052-46DD-BCDF-D9499B8C5F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaa4472f6b180b98ec9f6af2764d50b483f899c9","datavalue":{"value":{"entity-type":"item","numeric-id":4823345,"id":"Q4823345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001e2f75d929e9561e723b703435ed65d652c71e","datavalue":{"value":{"amount":"+0.8601841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3204066$FF1DC7EA-FB66-4091-A07A-63A8BC3A7CE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3204066","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3204066"}}}}}