{"entities":{"Q3532471":{"pageid":5562375,"ns":120,"title":"Item:Q3532471","lastrevid":50481416,"modified":"2026-01-14T04:14:52Z","type":"item","id":"Q3532471","labels":{"en":{"language":"en","value":"Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5357958"}},"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":"Q3532471$07B0FAC8-2682-456A-9F21-A38A362CDEA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6664cd6cf765860b7a99d886effa2ea874150af4","datavalue":{"value":{"text":"Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3532471$1222B4E9-A40A-498A-A760-C40988517939","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e05479aaa54fb56572b7b56377567af72c62420","datavalue":{"value":"1178.68564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532471$DF609785-C863-4E16-ABF3-19890D5F0814","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09c041e97b574d079843a0f04483a29620ca1124","datavalue":{"value":"10.1007/978-3-540-87803-2_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532471$7D20660F-E541-459C-8C84-07DDB2B42716","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"170e56a44d87084edf1707672598135a08e36b5f","datavalue":{"value":{"entity-type":"item","numeric-id":280195,"id":"Q280195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532471$D52F421B-416C-4400-BF6B-6331454DF9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"565f1e974a3c4f2a9296f8d7da6245d37c9ee773","datavalue":{"value":{"entity-type":"item","numeric-id":1584037,"id":"Q1584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532471$FCF54946-AC90-4CD9-8176-38AA541D3254","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532471$3A8DA042-B756-4DA9-BBC3-6C0CB35D09BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6a7a73594519f73ca64bd2ca3d2516aec27193c","datavalue":{"value":{"time":"+2008-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3532471$4BBFE773-7414-4D70-AA51-1D5FA468848C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae8625127b8867beb392941657f4dda49b9f0475","datavalue":{"value":"http://opus.bath.ac.uk/26518/1/Power_JELIA_2008.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3532471$AC4FD76B-363A-4906-91E6-EE6C0DAB7CEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532471$55704E6D-0BC0-43F4-A54F-921AB51F0B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532471$1AF226F9-291D-4C6C-A695-9796C8A631D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77a44430a013a126969f81ac811e8f24077f41ac","datavalue":{"value":"5357958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532471$1569F13F-6F98-4238-AFB0-EF6BB10A669E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23e88880572941d8a69ba880979cc8d18a96fc06","datavalue":{"value":"many-valued logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3532471$53CB6FEB-ADA8-4802-B394-0F1E1AF26A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3532471$C504E0F2-06EA-4019-9F57-B73975A63163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80e1f7eebf878101ddf3e75f4950f5b047e9f149","datavalue":{"value":"fibrational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3532471$E70AF8A8-8E36-4862-B02F-12BC8E0023C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0366e66b5ac7b1e35b07a57e4771e45152c7ac4c","datavalue":{"value":"ground semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3532471$F7B61721-09E2-477C-B68B-8F8549749B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c370f08705d948cbe8326531bf5f5bb6a470bf8","datavalue":{"value":"SLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3532471$ED2D5A6A-DE35-4098-A05D-A0178C652A23","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":"Q3532471$1B941115-66FF-4B28-AD8D-80B3BD8275B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5265177689aab8c4f1a95be6c846d52c6a18d59","datavalue":{"value":"W1525805777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532471$7BADA42F-28A3-4F8C-852A-035715B7E5DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d77008bb7be7465adb1ce5e2296a0e5b4d9385","datavalue":{"value":{"entity-type":"item","numeric-id":2751372,"id":"Q2751372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532471$38A08851-62AC-4C31-AEFE-F704B09C4917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532471$BF27B3EA-7A3D-453C-A28D-34B6DAB6748D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532471$4428CD22-8DD1-45B8-80C7-17E1FB17C984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d332575dd1e03d3d97497607abbb55c868eb39e2","datavalue":{"value":{"entity-type":"item","numeric-id":1605173,"id":"Q1605173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532471$6D9BC533-73EA-4948-BBEB-3C15C86E86E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1de3aefa15c726e58f2c290f532c47f4edeebf0","datavalue":{"value":{"entity-type":"item","numeric-id":3532471,"id":"Q3532471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532471$7E6CF12F-E8ED-4975-91F4-2F939C85F8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532471$6C45A632-8734-4FD4-9A5E-89E5CBE9100D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532471$F5CEFA85-08D8-4D56-814A-8A908050AD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11583d3aebcdb773eae6f7f1f6c17692b0194b61","datavalue":{"value":{"entity-type":"item","numeric-id":5692880,"id":"Q5692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532471$87734F47-6460-4AB4-A4E7-FEF808B5BF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532471$9A6A2818-93CA-462F-9F5D-925909735804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc95ef8c579465a89aa0f0eb552135168831d17","datavalue":{"value":{"entity-type":"item","numeric-id":3524923,"id":"Q3524923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532471$F09659D6-FFF6-444E-842D-7B3020958048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f5b57336e5f2bc922c7f31f958263e5ce7ad0c","datavalue":{"value":{"entity-type":"item","numeric-id":3750144,"id":"Q3750144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532471$DC62D94F-D040-4936-B4E9-D279F47E94D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb58b1d107d518044858b5000cbc613a151fd83","datavalue":{"value":{"entity-type":"item","numeric-id":4982058,"id":"Q4982058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b7bc00c19b6e69ab259bc0940fb547dbdc7bf4d","datavalue":{"value":{"amount":"+0.752903401851654","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":"Q3532471$9B06ABE7-C122-4164-89D4-2C3ADA74E43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64632d51a010c6ef15c874b8b81c44db51f7d5ea","datavalue":{"value":{"entity-type":"item","numeric-id":5202173,"id":"Q5202173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286d03fe8c64539bed5c7785475c86f45fa81232","datavalue":{"value":{"amount":"+0.7399783730506897","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":"Q3532471$9E62551F-4424-42D8-B1B6-41B6F5BE2227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dab9f0821d2e7779b9bb5afeb57ab2a584597b35","datavalue":{"value":{"entity-type":"item","numeric-id":4900311,"id":"Q4900311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3af22e3474d5e5c18ffddc3e3240ecbd77bd707","datavalue":{"value":{"amount":"+0.733469545841217","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":"Q3532471$B3590962-4BBA-47C4-A15E-1CB52A5E567F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614d2e7fad0d8321c16e830ba3f99bef39ee0298","datavalue":{"value":{"entity-type":"item","numeric-id":3187620,"id":"Q3187620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b5d98ce6e2fe89845bb371fcbff601be79a214f","datavalue":{"value":{"amount":"+0.7289942502975464","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":"Q3532471$4C840127-D1E4-44E7-81C2-B6928116913A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c7f70e31146400480fa1b9eb129ea5d16c7b8c4","datavalue":{"value":{"entity-type":"item","numeric-id":4955341,"id":"Q4955341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584a325625596fb5b22caf96f6a7f3731ad72ab0","datavalue":{"value":{"amount":"+0.7284584641456604","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":"Q3532471$E5196BD7-3BA6-486E-A72E-913125FD45D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3532471","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3532471"}}}}}