{"entities":{"Q4012174":{"pageid":6041972,"ns":120,"title":"Item:Q4012174","lastrevid":55174174,"modified":"2026-02-04T10:31:19Z","type":"item","id":"Q4012174","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 67451"}},"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":"Q4012174$B8C9741F-EF15-4925-A041-24BD20741E48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8bb623dd302c1d289c4d8c4fe07b125399f209f","datavalue":{"value":"0745.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012174$A87FBA73-B593-4DF7-9586-B9C1DCC63598","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"423424ed34b7dac382d00344caf66effb4c7fafb","datavalue":{"value":{"entity-type":"item","numeric-id":199247,"id":"Q199247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012174$B4C0350B-E25A-4A78-B357-9B87C69FD08B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4012174$0277CA94-7725-4E69-81CB-9158A915ED7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012174$C7300440-1AEB-4A71-9BDE-23071D02E461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012174$887E05FA-8B9F-4210-B3BE-2947428674C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012174$5424A55D-337C-445F-9893-CA7D7FA4584E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012174$E6D8EA1D-8F48-4BC6-BD38-497CDA1F9873","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eacfe9ea84687b6fbb9100b8c6ac659f59b53691","datavalue":{"value":"67451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012174$4B257433-6EAA-45EF-B7D9-6F4776205E29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77ca37d58766570866b1a31a8c044260bd25e056","datavalue":{"value":"equational Horn theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012174$16AEDDA3-C5A1-4DD3-B51D-C2C01311A459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f84bfa4d35417b90f2a3d3973763cb89a42b0a1","datavalue":{"value":"paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012174$FD1F03A9-4190-4DF2-9455-570EC1603808","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":"Q4012174$DD9E9EFD-7BB2-4DF3-B945-BDBDF6485468","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6e4223a8865a165f8aa031ee6ab7533919a0167","datavalue":{"value":{"entity-type":"item","numeric-id":5881264,"id":"Q5881264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"266e4f379c9a2581cd67157d010cdc886004368b","datavalue":{"value":{"amount":"+0.8651912212371826","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":"Q4012174$CB0FE7B2-161E-4299-8F7A-70687B0A64B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ab66e2aa85493c4c26d61fc956360217ee1d49","datavalue":{"value":{"entity-type":"item","numeric-id":4036569,"id":"Q4036569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ed26a40b4f60f3e39ed9c5861d755b7707ab417","datavalue":{"value":{"amount":"+0.8347375392913818","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":"Q4012174$0F097809-2277-46BD-A38B-A86EC7161329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319e919e54ae19af5725b0d7ca2380a762f4acbd","datavalue":{"value":{"entity-type":"item","numeric-id":1182107,"id":"Q1182107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ed26a40b4f60f3e39ed9c5861d755b7707ab417","datavalue":{"value":{"amount":"+0.8347375392913818","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":"Q4012174$CE1F32A5-820C-489C-91DA-B8BD50786FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8bf6ae7dcb5f933891d727f7bc1ca20b064758","datavalue":{"value":{"entity-type":"item","numeric-id":1824409,"id":"Q1824409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0de1e411b685da6922246c58bfa871b1067e74e","datavalue":{"value":{"amount":"+0.8158401250839233","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":"Q4012174$D6A6D32A-A178-4F43-8726-F3A5C5567B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf9b1ec3df75183da3403b62dc33faede6033f29","datavalue":{"value":{"entity-type":"item","numeric-id":1897557,"id":"Q1897557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd8e36e102f6b33c0ddf10d06c1f38068e749953","datavalue":{"value":{"amount":"+0.8013521432876587","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":"Q4012174$F5CFB89B-0518-46C7-8581-67194D6D0D8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012174","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012174"}}}}}