{"entities":{"Q672320":{"pageid":674169,"ns":120,"title":"Item:Q672320","lastrevid":63461457,"modified":"2026-04-11T13:19:46Z","type":"item","id":"Q672320","labels":{"en":{"language":"en","value":"Algebraic proofs of consistency and completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984921"}},"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":"Q672320$2387030C-A751-46B5-95BE-34B7421ABF46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69e8fb0a7fe0cb3da4de6eceab21f2a28b184d20","datavalue":{"value":{"text":"Algebraic proofs of consistency and completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672320$FA9406B6-7B7E-4CD5-9610-C118F0FCF532","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4929e0907b7853ce122dde8c9c4e413e2fcfa66","datavalue":{"value":"0874.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672320$C3355677-19CB-4BF1-B172-8409B2C14DD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"139823466db7824ed0a4b37e3e7db5e025f49140","datavalue":{"value":"10.1016/0304-3975(94)00211-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672320$81D4DC8C-0BE7-49B6-8A2F-89F00E8A72B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672320$20087F50-86CF-453B-B6E1-175706BFB086","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672320$E04A9D2D-8EA5-4E67-8856-1FD42CBA0506","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672320$DA00B456-CEA6-4578-A9F6-A110B077F81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672320$4CAE9B29-6445-4155-8EED-31917ED3C3AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d5936b29548f00b6c0f58c784804470f5b64be7","datavalue":{"value":"984921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672320$9A7757E0-0958-4AA0-AAC8-8588250FABC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae0500a376ac5ac5486d802a4125f3035f4e813","datavalue":{"value":"Horare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q672320$EDD24809-F0D8-49CC-B313-2C0905543B3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd7da412086b8b15808d88fef0b62eb55ea4ac59","datavalue":{"value":{"entity-type":"item","numeric-id":1330444,"id":"Q1330444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672320$A1B62F07-8D82-499C-B5ED-D7FC56B88F5B","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":"Q672320$F215D1D4-586F-4430-A490-7DECA7CC5290","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672320$08FDE52E-5462-498E-8016-D9161EFA17AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74e5c5e50e4cab9b34658da05dea8a6339a629c","datavalue":{"value":{"entity-type":"item","numeric-id":672320,"id":"Q672320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672320$18AC36AF-1421-4886-894D-4756BFC17F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ac93b5810aecaf982ee91140c032fc7185b467","datavalue":{"value":{"entity-type":"item","numeric-id":4281666,"id":"Q4281666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672320$A9EEB263-C977-4447-B579-AD7FAD154811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145ba4ed8ff284bc41a418ac8911941d54ea5802","datavalue":{"value":{"entity-type":"item","numeric-id":1177155,"id":"Q1177155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672320$E7A560AB-D205-4452-81C8-0A4F4ECD2389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66930857d878a57fdc790648136b97860b4ebd5d","datavalue":{"value":{"entity-type":"item","numeric-id":684396,"id":"Q684396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672320$08E8D016-ECFA-4C80-A20B-5E2836D68F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672320$DD675EA5-3BCC-46FE-A116-F50D723D2B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672320$CC8FC794-D879-44AD-A145-0109B17531C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5620413217d8e07a62deab92fb58bbd2ca1e9f21","datavalue":{"value":{"entity-type":"item","numeric-id":3740201,"id":"Q3740201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672320$C2586680-DE10-473A-A3DE-CDF5E52D68A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e646822c7e8f7e68867ade26f59c8b15d8260c","datavalue":{"value":{"entity-type":"item","numeric-id":3707340,"id":"Q3707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672320$2A80E54B-D77C-4FBC-A5F4-81D4B71077E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"012b92d370d97f0cd4ff2cdadd43bc8000a781f0","datavalue":{"value":{"entity-type":"item","numeric-id":1114384,"id":"Q1114384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672320$6F9EE664-C7F9-451D-A574-D69CDE9AB13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672320$C929E04A-DFD0-4007-A66B-6EEF8EC555E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77f245ea8916cb83f592d198c55741e96f6f763","datavalue":{"value":{"entity-type":"item","numeric-id":913482,"id":"Q913482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672320$472340C1-FCF5-4A6B-B862-FBAF1B6BBD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5f3caca270c070dfa9a263acc73284f97e829e","datavalue":{"value":{"entity-type":"item","numeric-id":3992667,"id":"Q3992667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672320$763B06D7-984A-49BE-980C-83B9707B7797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340b1a67b2cb88bc1a79812f682d43444abf5b93","datavalue":{"value":{"entity-type":"item","numeric-id":3932278,"id":"Q3932278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672320$2AA939EB-F597-4801-8345-A8226B2F7986","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b51ef360b95e5eaae1fdbee0647b1e11d5e91e","datavalue":{"value":{"entity-type":"item","numeric-id":2722025,"id":"Q2722025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c63c808efd54591b0f117ea90329ed89cab1d6","datavalue":{"value":{"amount":"+0.7835699319839478","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":"Q672320$9461D770-10EA-4F6D-BA99-C0CC747C3D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01bbcd4c2ecfcbf7d4a863ae2c10a6d94e17fe23","datavalue":{"value":{"entity-type":"item","numeric-id":672711,"id":"Q672711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c63c808efd54591b0f117ea90329ed89cab1d6","datavalue":{"value":{"amount":"+0.7835699319839478","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":"Q672320$A35D4629-0E2E-4B7A-B3FE-AF4B8BBDBF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ee5105ce557480702c4228fc94eceba0497db4","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e420d2c31a53ce3697ed145df68bd82b35c4e7c0","datavalue":{"value":{"amount":"+0.7775875926017761","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":"Q672320$F65CC67B-004C-4689-BA51-932F3E7382CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f53db904edc8742f58844bcbe0e7e76cb9cb0cd","datavalue":{"value":{"entity-type":"item","numeric-id":3738547,"id":"Q3738547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6a7958c1a1813164be27bee94eff3096c39641","datavalue":{"value":{"amount":"+0.7677937150001526","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":"Q672320$2B8DBDB3-14AC-445E-B021-19BC4BFA9378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12ae9b79fd8f47daaf661945c04e5a8c4c144e1","datavalue":{"value":{"entity-type":"item","numeric-id":4011708,"id":"Q4011708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48a0e1be3cc04664d229216bde2dfb7e1c4829d8","datavalue":{"value":{"amount":"+0.765263557434082","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":"Q672320$66453424-1902-44D5-AF64-7181E1C1C00F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic proofs of consistency and completeness","badges":[]}}}}}