{"entities":{"Q2491077":{"pageid":2501820,"ns":120,"title":"Item:Q2491077","lastrevid":73484787,"modified":"2026-04-14T16:10:35Z","type":"item","id":"Q2491077","labels":{"en":{"language":"en","value":"Decision methods for linearly ordered Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5027252"}},"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":"Q2491077$E9DCA937-AC57-42BE-AC25-82CB094FA0EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6e66d27cbe671163eed2073025cd238a98e0948","datavalue":{"value":{"text":"Decision methods for linearly ordered Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2491077$9002FB4C-EABA-42E7-BF7A-CC9E3BCC7EB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c63b89468ac56c90f13be8486a875623dbed14a","datavalue":{"value":"1093.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491077$AD33DB0E-1676-438A-827A-3DD821DA9E6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f07b5b97e9021286534ec61e4c6a7a24654de93","datavalue":{"value":{"entity-type":"item","numeric-id":452346,"id":"Q452346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$E2D062ED-5D1E-4C48-9A8D-D53CCB5E0F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$6D7E0050-A299-41E9-8C22-788908AA3643","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$6A80AD3B-FC8A-440B-942F-AF4BEB70E3DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4c8103b3de3619e9a7a179137854980af704334","datavalue":{"value":{"time":"+2006-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2491077$873A8AF5-C2D6-4AB0-931E-AA804C6C33C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491077$78577AE9-43A1-41C2-86E6-4C016C0DFB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491077$460E54F1-D838-4E49-8E0C-0C2357F5C35E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8314749eb4f0d9aa25c3c1eef1f1cab7cff2e70","datavalue":{"value":"5027252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491077$220CE96E-94A1-4CEB-AC5E-90A41CFD9729","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8439c3c323b21d48b0e534a0ebe58f84d18c385","datavalue":{"value":"linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491077$D9850F2F-2C1E-41D8-B12D-A03C6BBB1331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d333bec9fcb980bd4f276c1e38ed7badca083f4","datavalue":{"value":"G\u00f6del algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491077$211555A6-5E66-4DA5-B647-677632D8DD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491077$21C39036-BA29-44E3-BF49-1E3FB7A9D1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491077$066481BB-C6F8-46F5-9078-E7FAC9E8AC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"967d16be33d9c889d1ad8acaa6be639638549886","datavalue":{"value":"G\u00f6del-Dummett logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491077$02005644-60F1-421C-8564-75306D4EBB63","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$6A297108-61AB-45F2-BF83-68471F8A7252","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":"Q2491077$03B2B9EF-10B5-4CC5-A00F-93C91DBCEC40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d49ee4f79dcbf49c8829001f826dcde97bc500d","datavalue":{"value":"https://doi.org/10.1007/s00153-005-0321-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2491077$F9FB0144-6601-4048-969E-699064356508","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6404df4dd7d0d52afcc0d088d8453fbac5d96852","datavalue":{"value":"W2006400179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491077$57DFEB7D-BD5D-464C-8B85-F2384D418D4A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a23ef1a0e753d0b5a8d87fc14eb3b1fb9c5bd2e","datavalue":{"value":{"entity-type":"item","numeric-id":4700536,"id":"Q4700536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$30DE3E1D-1EC4-4ED8-BD4B-133FB9C7E88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc7e628ce645756ff215e1270e8a57b64a1dd02","datavalue":{"value":{"entity-type":"item","numeric-id":5955614,"id":"Q5955614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$1DB98184-26AA-431A-A336-D1169CC42B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1859cf905d6e863c930183212288120d2bd517ea","datavalue":{"value":{"entity-type":"item","numeric-id":4405674,"id":"Q4405674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$3BCCD3A6-CDB9-4125-9D21-D660B8D7C9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108999486b640e9d679a4aaef95f57259e53fca0","datavalue":{"value":{"entity-type":"item","numeric-id":4450443,"id":"Q4450443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$73CC8D0B-EE8E-4169-8DD0-4FB3564A16C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5995b36850dd75efa5e226721984aa82396eae","datavalue":{"value":{"entity-type":"item","numeric-id":4944902,"id":"Q4944902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$342B72B2-3987-4E22-8D4D-4E21340DC0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$0EF9F55D-1AEC-44D2-BEF1-658F1C1E4B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"576bbad4abec45e68df04fc128931a22eec1f297","datavalue":{"value":{"entity-type":"item","numeric-id":4938220,"id":"Q4938220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$C31034DC-A666-4D7F-A313-FCECEAAE4FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff920317d695734e9baebc36f68853325cc382a","datavalue":{"value":{"entity-type":"item","numeric-id":1092036,"id":"Q1092036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$138096F5-6980-4F10-8FB8-84971F07AA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$10E2F3A9-00CA-4FE8-994C-3ADF71E255B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$9DC0ECB8-E3EA-4FC8-9D8D-D7040827892E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"938c18979ed4fc60e54ae58cdd699c3342ea9d22","datavalue":{"value":{"entity-type":"item","numeric-id":4255973,"id":"Q4255973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$D63A2E84-B808-4355-94D5-24F6A88C4949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c2f0f75bd1f6308a7434b91f72e0c7b34315907","datavalue":{"value":{"entity-type":"item","numeric-id":4796459,"id":"Q4796459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$B2B98ECC-6D19-4671-92DB-9D26E2E705D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45487e4af08f016bcee7d165c980f1b02b770c5d","datavalue":{"value":{"entity-type":"item","numeric-id":1872780,"id":"Q1872780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$46B3E0D1-DBB9-4249-92BE-E575294FE37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$9E590743-1637-4533-8584-DEB8D6D2AE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b50c0ca1dc18869b0aaeb3200315ad6202bbc58","datavalue":{"value":{"entity-type":"item","numeric-id":1070254,"id":"Q1070254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$8EBA69B0-78EF-4449-BBA7-0DA969B1D967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a150d5a38251d435dbd79fe9ddb6282ff8380e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5571686,"id":"Q5571686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$434C62D4-14C6-4111-9CFE-05628DB5548F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b83592ffe861aca3198948b3c2b96ca5082aefc","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$81B449D0-2823-4F8C-9C1B-B33E3A59A5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70415211cfe84908ddcdabfc0c0a97bbbc2328dc","datavalue":{"value":{"entity-type":"item","numeric-id":5824365,"id":"Q5824365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$0CBBFC17-1C5F-48AF-A705-4D04A41AFBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e153dcad108c14c9a55e8f1c726ec817dd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5693612,"id":"Q5693612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$D54373B9-BF55-4E16-A79C-CFE11D57EF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa51784aa185438cb3a111625f0aefe0dc4de40","datavalue":{"value":{"entity-type":"item","numeric-id":4809045,"id":"Q4809045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$34539A63-5EA3-48AE-A729-A8A3A4B4F2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388f9bfa40fefe238a0920085d18558ce2b9bc4c","datavalue":{"value":{"entity-type":"item","numeric-id":2492155,"id":"Q2492155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$15780B40-6CE6-47E7-A936-4FD633FF2B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54f7383e1361db9b7d8d635e3974eec1f15734d","datavalue":{"value":{"entity-type":"item","numeric-id":5536269,"id":"Q5536269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$B863B6B1-D830-4542-82EE-9C5381843150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2033a99c89aaa408005d87d16f08bd4e662373e7","datavalue":{"value":{"entity-type":"item","numeric-id":2487867,"id":"Q2487867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$CA2E7F31-4631-4401-B0B1-925F3C816CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a902468ca6002e6b57b511d7630fb16db871fc","datavalue":{"value":{"entity-type":"item","numeric-id":5310883,"id":"Q5310883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$893A4DA5-4E97-4AA3-9851-A64565B6B9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$C906C73E-CD6B-4A4A-9B58-C31F029443A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75cb010ae1c1f82f142d7f1427cb01809e5c6acc","datavalue":{"value":{"entity-type":"item","numeric-id":701722,"id":"Q701722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$3219E68B-A3D3-4EEC-AB22-4ABFE0A32998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021eae6f3c8645635c6c1caa857e4959ad23a662","datavalue":{"value":{"entity-type":"item","numeric-id":4818936,"id":"Q4818936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$4F19A1AB-4D48-4C89-9A49-7291B24DBB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e93ef4dc600baabf1caa2d6a4d97f42bc019d1","datavalue":{"value":{"entity-type":"item","numeric-id":4262585,"id":"Q4262585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$D6EEC724-8831-4953-B49F-A625F0CAF7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$220B38EA-F55A-4113-8887-661A6907D703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc46221e3a4f77b6b7f663ad3e777477a00e6f3c","datavalue":{"value":{"entity-type":"item","numeric-id":1868245,"id":"Q1868245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$B70DD938-7B67-4EF4-BCB1-9184D494EFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36dac6d27982dd2016e9a5c32c0a4782053372d0","datavalue":{"value":{"entity-type":"item","numeric-id":3813818,"id":"Q3813818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$E08F6D2F-F534-44F2-8739-4C95132DC764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491077$6F4D4D1D-5811-4D5B-BA95-4F5B20C31366","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ece922b8f2c492c6d2cb4821e2850d9bd559450c","datavalue":{"value":"10.1007/S00153-005-0321-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491077$C9113A95-583F-4AA7-8BD7-E101AD533D8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c24dfb547613157625a92964e3ee373e6c52ca7f","datavalue":{"value":{"entity-type":"item","numeric-id":3815356,"id":"Q3815356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04bc9478c522f279306689963e142dc12268ca2a","datavalue":{"value":{"amount":"+0.8024739027023315","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":"Q2491077$4DF66365-F3F1-4B55-9178-D1D83D36EDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b871c3e98715e6e675abbc581dc51e5d81f0e935","datavalue":{"value":{"entity-type":"item","numeric-id":3772177,"id":"Q3772177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32664cc16c59e9f2836aa6c482bea4751dc4386b","datavalue":{"value":{"amount":"+0.74732905626297","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":"Q2491077$296FABE1-5827-483F-959E-FF8580D21206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04bd9ee1339cb39bc560702e9b33f9a25efd60fc","datavalue":{"value":{"entity-type":"item","numeric-id":3220564,"id":"Q3220564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dff3855566f59b9d6106f57b7ede8fc2641a635a","datavalue":{"value":{"amount":"+0.7431159615516663","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":"Q2491077$A0958174-2E95-41D6-A7E4-5435A1D8A41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35c3705ef17f0558df1ce60b08f5135a4a1ccc9","datavalue":{"value":{"entity-type":"item","numeric-id":3987718,"id":"Q3987718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26abe435af82732b5964d07adf37789d43206f4c","datavalue":{"value":{"amount":"+0.7304266691207886","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":"Q2491077$B856A82F-E166-4380-8061-BCD32960CDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f07e89cc5a3051f62a1a11654c6c20026f96da4","datavalue":{"value":{"entity-type":"item","numeric-id":3470450,"id":"Q3470450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb94fc0136368023a11c750d212e1c4310fd52e","datavalue":{"value":{"amount":"+0.730368435382843","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":"Q2491077$F3D5FE49-6C26-4919-BD7C-604FA3B3F105","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision methods for linearly ordered Heyting algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decision_methods_for_linearly_ordered_Heyting_algebras"}}}}}