{"entities":{"Q861367":{"pageid":863215,"ns":120,"title":"Item:Q861367","lastrevid":64932948,"modified":"2026-04-11T23:11:46Z","type":"item","id":"Q861367","labels":{"en":{"language":"en","value":"Representing and building models for decidable subclasses of equational clausal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5119146"}},"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":"Q861367$B074952D-90E5-4A5B-99C5-5F17F4F87404","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d87601dd2ad30f34c14c2197ed83862d150bc18c","datavalue":{"value":{"text":"Representing and building models for decidable subclasses of equational clausal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q861367$BCEA41FC-AEC7-4E64-A195-4721B2B8B713","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa79a9578c3580bdb6163c7e41d9665a6f6a29d6","datavalue":{"value":"1105.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861367$433D44B8-220D-4B02-B192-F304D3719ACD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$6CD00762-BEE9-4EFF-87FB-CC7C348782B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba4941e2a349928a5b283a5f41bffc4e70697d62","datavalue":{"value":{"time":"+2007-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q861367$F5F8D23A-732C-48BA-9EE1-28407AC16B50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861367$00392D43-3FE7-4F28-B82B-DCA6D29D7123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861367$301B23E8-8D92-4C75-8125-EA3C47389224","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4c077e75efc726bf91f9a296d92fe7820be5a7f","datavalue":{"value":"5119146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861367$5A8D342D-EB91-4902-9F42-DCDA4B335626","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q861367$55FFF606-94F8-411B-B7D7-FB9C9B598EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b0133bb82e5a2899974ef5a92a207f1239299d2","datavalue":{"value":"model building","type":"string"},"datatype":"string"},"type":"statement","id":"Q861367$01281378-6328-4D21-AB3B-80D8DB597A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q861367$E4FDC400-28BC-4373-9DE1-719F3B155984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cffbfe5218ca82031cf386726967dadc693219b5","datavalue":{"value":"model representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q861367$D2402255-BCB5-4E46-822F-5C7FFF5C5FA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$2C53F81C-300E-4571-A9CF-14EF32635197","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$ECE5D73F-5288-4F6C-8F94-C5F85CEE3F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$8767E03F-7D96-465A-A030-8D77CF0D7BE5","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":"Q861367$56FAA5C7-F405-47F3-A90C-430C5D062B8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c781c182dc73c7fa372a720a3a244a534ef969e9","datavalue":{"value":"https://doi.org/10.1007/s10817-004-5555-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q861367$1FCFCB8A-67E3-4D91-849B-C191EA163797","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f58377edb596321e30966a560be937e210558d8b","datavalue":{"value":"W1968211553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861367$496C54B7-85B9-436B-B51A-5CC5E5143DDF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$EE74F1D5-6070-4F7C-AFE9-41DAB5E0FE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$3EAB5743-AEF7-47EB-A94E-77497EBC4297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e20a28bc016e176ffd0d442e4a0f474a1411cb4e","datavalue":{"value":{"entity-type":"item","numeric-id":3608795,"id":"Q3608795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$18CBE69B-C178-40C4-A040-68AAE5B166EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1ee918c464fe7c6c2ebcaf9cb1dfed9d3b10f4","datavalue":{"value":{"entity-type":"item","numeric-id":1581852,"id":"Q1581852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$1F80A989-C0F9-41D4-A701-59711ED69262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640cdf56bb10b3d2b0578f8ad11e9f7e961161a5","datavalue":{"value":{"entity-type":"item","numeric-id":685393,"id":"Q685393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$C9D4BCC8-4FA0-4147-B7F6-F55D4E84B8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86db5a5291f3a16cb567c464530440c036bb2b14","datavalue":{"value":{"entity-type":"item","numeric-id":1333268,"id":"Q1333268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$F63F40A9-70E3-4FE7-B73A-3B50F4FFA396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c71bacfeaec141062185dcdbbf65c219a93b4f5","datavalue":{"value":{"entity-type":"item","numeric-id":1314425,"id":"Q1314425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$33BAF33D-CE6B-444C-BD51-D8291B525512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9035a3503d06ad7946ad5c060940ce1e7b476e","datavalue":{"value":{"entity-type":"item","numeric-id":3905252,"id":"Q3905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$141D6C4E-7A5E-4398-9745-72E7F170DB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1737e3b82e8627dc5ad82b7bff5fa29662ec6e2f","datavalue":{"value":{"entity-type":"item","numeric-id":4880540,"id":"Q4880540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$CD6130EE-7828-4F25-8293-F2EEF9CCDAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37da6481d3393a5a430cfe31bbfd3e1bb865a00","datavalue":{"value":{"entity-type":"item","numeric-id":4380444,"id":"Q4380444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$95BB9296-9DA9-4CCA-B7EC-211C57313F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315e95e4ad8a1c26487d3ff7728ab264483e45ea","datavalue":{"value":{"entity-type":"item","numeric-id":1310269,"id":"Q1310269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$6C94BCB5-945E-47DC-9C25-21527D49780A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608e8c470b32930c9f2d853fb2324830213d46f2","datavalue":{"value":{"entity-type":"item","numeric-id":2767012,"id":"Q2767012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$F52F0585-1853-440A-B2AF-0E7070B5B3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebba25ec6e30e98195fd89fc28af9b9ec829611","datavalue":{"value":{"entity-type":"item","numeric-id":2751377,"id":"Q2751377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$75777E3F-0E80-4AAF-94CC-714E5B4CE847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$601C5BBC-A583-4D35-9C3C-C6DB816B2257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149d4ec026de16ffcf0b00bdc1dd938cbceaa3d4","datavalue":{"value":{"entity-type":"item","numeric-id":4809060,"id":"Q4809060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$1D9224F1-3BC3-40F3-815B-DF8C7F918CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f1e0b1f219dd8f163a3aee56dfd9139f4743b6","datavalue":{"value":{"entity-type":"item","numeric-id":1404983,"id":"Q1404983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$E56269EA-1261-4F9B-824E-A4BE805B2667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc614fe187bd0295ec729cf32cb3675e34b7b37","datavalue":{"value":{"entity-type":"item","numeric-id":4302847,"id":"Q4302847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$FE1ECF97-34D2-4748-88A3-A82C490F2051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a22c350dc45e2a157901b8e3689289f2a56813b0","datavalue":{"value":{"entity-type":"item","numeric-id":4263163,"id":"Q4263163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$14CCAE88-7FE6-430E-9858-5CF688EC3EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a367e15e40fb312874501f15d87e86df65678fd2","datavalue":{"value":{"entity-type":"item","numeric-id":1610669,"id":"Q1610669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$7CB3A3E2-FD4B-4C1E-8AAA-7E419088A3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda6d4bc4ff06358c5dfe216b9a7a58bec1514be","datavalue":{"value":{"entity-type":"item","numeric-id":4102765,"id":"Q4102765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$99AA3435-E8D7-4564-A55F-879FDB4FCE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$FF0F7F7C-5723-4838-B6E1-35C536C77A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f88b928513b729cf001aa1489ca23d8f7aa55d2","datavalue":{"value":{"entity-type":"item","numeric-id":3142019,"id":"Q3142019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$FB7C1F04-0BA1-47BE-966F-784273F92EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8755fff25bcbf365d5dd2dfde2f78f833a2371b","datavalue":{"value":{"entity-type":"item","numeric-id":4331764,"id":"Q4331764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$C9E15EFF-92F8-48DD-ABED-DF72D6DFA3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$4F8B90E3-A40A-49B3-8511-83BF63C4CF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16bedf88d37c78219926e82b3d7a7a9dee66a31","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$25F00055-2336-4C11-812C-D93429C05E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$06704CE1-344A-4F3C-9FD9-8CDBE5F69651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6525b1c5ea2bc25ba5c63354a15eba4c6a187a3b","datavalue":{"value":{"entity-type":"item","numeric-id":2743641,"id":"Q2743641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$9EC156DB-000D-4376-B854-44E45764974A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567a6e033e1ee0b35de38f1be030a6a42c0e79f1","datavalue":{"value":{"entity-type":"item","numeric-id":1404976,"id":"Q1404976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$68968817-9E11-4B49-B6E6-E7DF32768D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a8d31f3cb0e70f70dbe954c675eba0c9c829f24","datavalue":{"value":{"entity-type":"item","numeric-id":4430633,"id":"Q4430633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$579D2422-DBE2-435E-9AA6-302432838C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5be1140954f829f80add15a9513ac6313085b1f","datavalue":{"value":{"entity-type":"item","numeric-id":1404975,"id":"Q1404975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$4FB8545F-CB0B-4DFD-9CC4-DE7539AA3897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab6f106a2747fd65d00cbde8c1520e29c808b260","datavalue":{"value":{"entity-type":"item","numeric-id":4916224,"id":"Q4916224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$8387F9E2-56A1-44C2-9926-06703D1E394A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$565445E0-4622-4958-ABB5-168DCB40AA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c01fd86002557c9e86243f8e81d785080636f629","datavalue":{"value":{"entity-type":"item","numeric-id":2720403,"id":"Q2720403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$B7B0D8D2-7B22-43DA-A4EA-A6224898F4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f771f551f48b2f2d21f6f2011008cb21eb26e492","datavalue":{"value":{"entity-type":"item","numeric-id":5538933,"id":"Q5538933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861367$80F08B85-3A72-459E-BA1A-60866B668E96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a0c6d30a2b9c6693de1416f228df7477bf3846e","datavalue":{"value":"10.1007/S10817-004-5555-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861367$954C312D-8B00-4C46-8F0C-59D45964B9D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c0c2b60a9c352ec803ae1eb633319934138b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4916224,"id":"Q4916224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7617389a57c35fedd2855fc791e5f5885bd636c5","datavalue":{"value":{"amount":"+0.9110993146896362","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":"Q861367$B47A7517-91DC-46C6-B3D8-D91D2544FBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e0b4f8dc50ecd9e12007dc74c0a573be2d9ec78","datavalue":{"value":{"entity-type":"item","numeric-id":4430633,"id":"Q4430633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc074f7a6e9b8e53501f39fef9feed42425495df","datavalue":{"value":{"amount":"+0.8021910190582275","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":"Q861367$EBF7CA6C-7AA9-4E8E-9F31-A13DD41714CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5242bcd4b8a60efeecd3f0381ba7676468d04f71","datavalue":{"value":{"entity-type":"item","numeric-id":4380444,"id":"Q4380444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cc32a9dcd54517228c7131652edb9a75bb187e","datavalue":{"value":{"amount":"+0.7944727540016174","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":"Q861367$384625F5-2A6F-401C-95D1-FB8A4AA6AB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b218c4ba3c0ee3527ebaf03168166dd2cb9217ec","datavalue":{"value":{"entity-type":"item","numeric-id":4287493,"id":"Q4287493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cc32a9dcd54517228c7131652edb9a75bb187e","datavalue":{"value":{"amount":"+0.7944727540016174","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":"Q861367$19859CE0-146A-4BA4-856B-7023FD061816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44469c695c7d19631de7e636f5e7f496493f9406","datavalue":{"value":{"entity-type":"item","numeric-id":4283235,"id":"Q4283235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"320ded0419ab606469b8b86bb3b8e6aff5b7387b","datavalue":{"value":{"amount":"+0.7843345999717712","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":"Q861367$CCE9038F-B058-4F16-BBDE-D7B9FF953148","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representing and building models for decidable subclasses of equational clausal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Representing_and_building_models_for_decidable_subclasses_of_equational_clausal_logic"}}}}}