{"entities":{"Q3647218":{"pageid":5677124,"ns":120,"title":"Item:Q3647218","lastrevid":87564611,"modified":"2026-06-04T12:00:16Z","type":"item","id":"Q3647218","labels":{"en":{"language":"en","value":"Decision procedure of some relevant logics: a constructive perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640500"}},"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":"Q3647218$7D6446D7-43D7-4F4D-A605-034E4AAF7CD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ee44a4238a73ce6d779766fb2e481146ed4c2d9","datavalue":{"value":{"text":"Decision procedure of some relevant logics: a constructive perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3647218$4C5C2167-7B2A-47C0-9B9B-8DDD4038C27F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d91cb45b5a5068def7bfd8731492925f956e961","datavalue":{"value":"1185.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647218$C2C159DE-AC34-4896-AD31-2614026FCB72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c1e221b56878445e44ab777850ee5c206a8293b","datavalue":{"value":{"entity-type":"item","numeric-id":2770972,"id":"Q2770972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647218$6EF61CB1-AC6D-48D3-9A8D-AF81FB97C56C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647218$52254A79-E75E-4AD1-8AFC-BF078A69D457","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0282e8a69b73ad7ee83a673994f773268a123e65","datavalue":{"value":{"time":"+2009-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3647218$64D1D722-EEC2-4032-AEAB-F3AC3F3D902B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647218$DCAB4A8B-625E-49E3-955F-3C5A2A0BF1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647218$2DB876A6-D9F0-481D-B20C-C0E44C31D68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647218$40EB6236-D5CB-4FBC-AB13-49020A117D3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b4aa8543f592a2a0f8fd92003b30c58f4801127","datavalue":{"value":"5640500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647218$16DA639C-1BC1-4F09-9107-C8B2152796F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d7c24935dcad54bb8b35bd2297a2d654d149a5b","datavalue":{"value":"constructivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647218$EA756987-38A0-4359-B1BA-AC4006AC26CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647218$075D83EE-B1EE-4330-B968-D62C37D52A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cd19f6ac4094d3893a6cb4c3457b238b0ffa8fa","datavalue":{"value":"Hilbert basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647218$9D9B3F86-A7A4-479D-B7D1-43EA67A8EEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e6ab94e96dc0af40d67e25949b534aa75ef611b","datavalue":{"value":"polynomial rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647218$85D09204-AF8D-4FB6-89DC-C2F433178AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b763c6bb3bacbe3cf530e30249e7b85c26c23bdf","datavalue":{"value":"ideal membership problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647218$E2D4ED19-8583-41D6-9254-3BF6A4EEABCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647218$262B372A-953E-48E7-9C95-C689D7400415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b29b504bf1e9080aaf965a59280baa5d91caab75","datavalue":{"value":"Kripke's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647218$95E29FB4-285D-467E-A745-EA82D708C897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fd36654122c82617dfa5410e3b47723b9c997b3","datavalue":{"value":"Dickson's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647218$207E6A38-281A-467D-BB8F-0DAAF406425C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"609c5b07730140ba06dfeb8a8261c0d306e358a9","datavalue":{"value":"Meyer's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647218$075444D8-8D06-4B5D-8AB0-2BF4073960FF","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":"Q3647218$9B3C16A1-8A8D-48D5-939B-A985D120C0C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23c0fd5db9aa45169954ed4074aa32ca566b9bb6","datavalue":{"value":"https://doi.org/10.3166/jancl.15.9-23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3647218$666FB5C9-4664-42F1-AF47-4770D6C072FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7ba44609e598e9a63b6acd0df159948998df0aa","datavalue":{"value":"W2103140553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647218$60DC6438-2D0B-4B9F-9147-6C2439195D77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d569ab003e4a3e84d1bb8ff03bcd65c8c355c84","datavalue":{"value":{"entity-type":"item","numeric-id":1595930,"id":"Q1595930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647218$C099ED7B-0290-46A7-8A05-B4F512F46C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed85cd03af69b0b3414e61da74ab7e3d313c1c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5564342,"id":"Q5564342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647218$431B497E-C8AD-4BE8-B549-28F86319BC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bda265395f5c65b4fa8a0061b4ef96facef65d","datavalue":{"value":{"entity-type":"item","numeric-id":4594260,"id":"Q4594260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647218$B37E5E97-9CD4-4454-8D77-FD7760529895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243a974194fa34fd25722575e1666811518331c8","datavalue":{"value":{"entity-type":"item","numeric-id":2542523,"id":"Q2542523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647218$A72AAE7A-64D9-4CAB-A92D-0B16D5DE4BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc8272a2eed684dcc743719a6651c947badf1e2","datavalue":{"value":{"entity-type":"item","numeric-id":1836661,"id":"Q1836661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647218$3FB7EF2A-D4B6-4917-98EC-C1B8411A4585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15b2a2283434fa49d8b91fe8e50cb7a13f457d5","datavalue":{"value":{"entity-type":"item","numeric-id":5844609,"id":"Q5844609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647218$C1E56D3E-4382-46F3-A1AF-08EED06F6C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1e6e74fc9f0e43b2bb5ebeafd488ad5919a3c3","datavalue":{"value":{"entity-type":"item","numeric-id":1112816,"id":"Q1112816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647218$B0469A6A-4F39-465D-BE30-DB82A1EA535A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6814ef78453770263be7153847467267beb6722","datavalue":{"value":{"entity-type":"item","numeric-id":5343411,"id":"Q5343411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647218$E8488CCB-3342-4790-91CB-C076672BF070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7c75119928e5c6e397bd6eca83c090f9ef19671","datavalue":{"value":{"entity-type":"item","numeric-id":2540267,"id":"Q2540267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647218$92FC0772-733C-45D7-A60B-91F46E2EC504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a21243111cda15893417183dd35870b92788e3","datavalue":{"value":{"entity-type":"item","numeric-id":4732137,"id":"Q4732137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647218$593FEA43-EB6A-4558-B588-871A423A93FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842b56d1e792f42e670c8d166b3e57b0abea925c","datavalue":{"value":{"entity-type":"item","numeric-id":3703869,"id":"Q3703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647218$09AFF426-5FAD-4E3D-B624-DB4AC29B704C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96d1335a7504652562ffbfcac06a6248652cdb05","datavalue":{"value":"10.3166/JANCL.15.9-23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647218$9C358853-E219-4D80-990E-EAB38371DB81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966babd98e768c93a518015a70490aab9f42ac29","datavalue":{"value":{"entity-type":"item","numeric-id":4263800,"id":"Q4263800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c012b5ac22e540efb3eecd82f15de9f3a72905b","datavalue":{"value":{"amount":"+0.8218830227851868","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":"Q3647218$AB162B06-4874-4511-8676-FD397705E194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c2f1d55401be5ee0542b3afe5fa066f59865dd","datavalue":{"value":{"entity-type":"item","numeric-id":4428879,"id":"Q4428879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c012b5ac22e540efb3eecd82f15de9f3a72905b","datavalue":{"value":{"amount":"+0.8218830227851868","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":"Q3647218$7EF1B1C3-392D-4A65-A4B8-D2E72D78A359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a1a12c1e0a5a77e2f0e3ee42f30fdeb4e0ae403","datavalue":{"value":{"entity-type":"item","numeric-id":4948542,"id":"Q4948542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a43e28d5014af4b3527b3b06ee6a2a8a2cd0faa1","datavalue":{"value":{"amount":"+0.8138426542282104","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":"Q3647218$34DB64C9-CFAB-441F-8C5A-24DB908A016F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb9083894e6a6ee813cdd8de0842fca44feeed6","datavalue":{"value":{"entity-type":"item","numeric-id":1072541,"id":"Q1072541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a43e28d5014af4b3527b3b06ee6a2a8a2cd0faa1","datavalue":{"value":{"amount":"+0.8138426542282104","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":"Q3647218$4507C359-FBF3-4253-AA11-8013442C5074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320d9ebc7d73e9335f687d11eb1828895a940670","datavalue":{"value":{"entity-type":"item","numeric-id":5919012,"id":"Q5919012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d01aa39d5b85f27facbf6fb8fc790a059d89d6c2","datavalue":{"value":{"amount":"+0.813386857509613","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":"Q3647218$607BB1AA-30FC-4CC8-97D1-41C302FAEE95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision procedure of some relevant logics: a constructive perspective","badges":[]}}}}}