{"entities":{"Q4924230":{"pageid":6953812,"ns":120,"title":"Item:Q4924230","lastrevid":51727385,"modified":"2026-01-19T17:25:29Z","type":"item","id":"Q4924230","labels":{"en":{"language":"en","value":"A formal procedure for finding contradictions into a set of rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6168904"}},"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":"Q4924230$657D2506-7F3A-424A-99E3-3A29E5E8424C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3bf92b74695aa6944a5e26cd5867d388aabf727","datavalue":{"value":"1264.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924230$7E118CF6-8076-44FB-A40A-F38A27B3286D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"527715c31d225d5d93893467164e1a8892971b8e","datavalue":{"value":{"entity-type":"item","numeric-id":655182,"id":"Q655182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924230$91EFD93B-4300-4043-92A0-1BB2FB12DDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f98a19464f2e67caaf7edcea8d5636de41dcb1bc","datavalue":{"value":{"entity-type":"item","numeric-id":747020,"id":"Q747020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924230$7A689F2F-668D-4C60-9577-811DE4EA86C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae3cde1cc6a4f68b46e229b454691e84fb486edb","datavalue":{"value":{"time":"+2013-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4924230$C46ADF98-7AFD-428C-9368-619D5EEB2F07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"755debbd3844063055d70674f9b8df9aea0570d9","datavalue":{"value":"http://www.m-hikari.com/ams/ams-2012/ams-125-128-2012/index.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4924230$E15D2573-1C5E-4B05-A17A-2B423104CC0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924230$C63410FD-1EBC-460F-B2AC-5E799484F760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a59f52dcfcc38cd6697e0ef07319031311895b","datavalue":{"value":"62H30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924230$D0E82DCE-3085-41E3-8415-164CB386E84F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e091a9aa8c3d669c97e554ffd74fd24a233de5cd","datavalue":{"value":"6168904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924230$8E7AA35B-122C-403B-B5D8-B1FF764822BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"534ee841b31fa8c09341af6ffcd40a55295bf364","datavalue":{"value":"alternative theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4924230$375E0532-A0ED-44AA-880E-C41A31717A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a045e8192ab5ea644663d64e00833985ac1f6d2","datavalue":{"value":"inconsistency selection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4924230$00D407D5-C565-4780-8EEC-219A0AD7A023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1624d613a67d781eb8ee17c50f400700cf98bc","datavalue":{"value":"linear models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4924230$BE232C54-B10C-41B0-BC31-8D2B7D6888A4","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":"Q4924230$4FB87640-7743-4C8B-940C-E994BDE63D15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2801095445d21083712010c899a2ba0d50e0046","datavalue":{"value":{"entity-type":"item","numeric-id":4238940,"id":"Q4238940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5534b4b17be486a454d883e2fe009c9716cdf0fb","datavalue":{"value":{"amount":"+0.7256657481193542","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":"Q4924230$51431B01-A133-4F2D-BCCB-816EBE4A70EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57c741e2f36979c6a1d31be518cd85d71936887","datavalue":{"value":{"entity-type":"item","numeric-id":4549400,"id":"Q4549400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2402c56e0a5cb0e0512b46ef9348894e01ed017","datavalue":{"value":{"amount":"+0.7024978399276733","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":"Q4924230$0AD90AA0-9747-4480-94B9-9F6969ACF06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c53eb529bb8aa0d73afdf548b9353eb72875fb2e","datavalue":{"value":{"entity-type":"item","numeric-id":4829347,"id":"Q4829347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2402c56e0a5cb0e0512b46ef9348894e01ed017","datavalue":{"value":{"amount":"+0.7024978399276733","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":"Q4924230$D7247B88-C809-4040-ADBE-4D1469C10AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e40b49a221050f8abd04b168df1dce1113b4b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1305918,"id":"Q1305918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3e22413ee1a781e934d0ca3f76b5c35a3130100","datavalue":{"value":{"amount":"+0.6778005957603455","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":"Q4924230$17F936BD-F549-4415-B1D2-926082221084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1bb3ca678eda736744daf0f495f3839fe7acfdb","datavalue":{"value":{"entity-type":"item","numeric-id":5320282,"id":"Q5320282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"440115386e8aa2608a38e4287ed72d3a113eba6d","datavalue":{"value":{"amount":"+0.6761527061462402","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":"Q4924230$6FDCEE39-C1D5-4335-A8BA-7C09FBA7E681","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4924230","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4924230"}}}}}