{"entities":{"Q5053010":{"pageid":7082587,"ns":120,"title":"Item:Q5053010","lastrevid":54452600,"modified":"2026-01-26T20:30:46Z","type":"item","id":"Q5053010","labels":{"en":{"language":"en","value":"A decision procedure for propositional N-Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7623948"}},"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":"Q5053010$A54EBAFD-4C44-45E2-90C6-7A91EC1F896F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fe3cc5cf25565d16cfd0c28ed646896c7775168","datavalue":{"value":{"text":"A decision procedure for propositional N-Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5053010$D109CB6F-608C-45A6-9748-EE77AD413A80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df6aa1d3231789e874029a063cd3f6c1f5442593","datavalue":{"value":"1502.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053010$E8BE282D-7A9C-4931-89DA-30E4BE56E911","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7a074d5598a6623a5d37bab29d65c5ede3f76f6","datavalue":{"value":{"entity-type":"item","numeric-id":1204119,"id":"Q1204119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053010$FB324321-376C-4441-A4B5-4F5AE1E0C74D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f8eb1b6981ee2f00126edfdc0e11774e104a6282","datavalue":{"value":{"entity-type":"item","numeric-id":5053002,"id":"Q5053002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053010$3F0F564D-F459-4DE3-A7AD-15C348295C75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e1483e38e3bf6c05c7809c6a2cdaaab1a69095b","datavalue":{"value":{"time":"+2022-11-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":"Q5053010$272B0F04-F41F-4CEF-8176-8484EB75C7F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053010$5495C09D-D784-4BB0-BC5E-7479E5BAEF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053010$2D2EEEAD-709C-4EF2-8A0B-0C97B9E86003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053010$9F3B00D7-4985-4B99-A40B-3EE45025D1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053010$E99F0CF3-503A-4A96-B5EB-B337434E6740","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c3d6064d6f2c39c69c12072e3c7077f8026ce3c","datavalue":{"value":"7623948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053010$1AD002B7-DA61-48D1-AA71-19E45DA2A519","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":"Q5053010$1CF0D063-E944-4A22-A57D-04AF78B35819","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92000637064e5c80afe68bc00e1dfe11201e4248","datavalue":{"value":"10.1007/BFB0038697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053010$6E0BE01D-6286-4E3E-8FD9-8B64D175E9C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba46022a2fc7e2be01305fa0448f1742e31bcf2","datavalue":{"value":{"entity-type":"item","numeric-id":1181711,"id":"Q1181711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a85d459710af3b774218d83ff2afdf8753ed46c","datavalue":{"value":{"amount":"+0.8087484240531921","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":"Q5053010$04B245FF-6383-4B6C-B6E5-D8838090DB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d86f927324815d06510e06da24d4fce84e6f5e7f","datavalue":{"value":{"entity-type":"item","numeric-id":1314280,"id":"Q1314280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc641d8804b930949be26a1842560f12edb4ef2","datavalue":{"value":{"amount":"+0.8051577210426331","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":"Q5053010$EB812550-0C3B-4463-8C3F-85952A0C8FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73c792c37d84ab03b8dbe2def263e976cf7aaf3","datavalue":{"value":{"entity-type":"item","numeric-id":1186430,"id":"Q1186430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c878136a0a37d6f7a6a2218be6acd5cc89192ac5","datavalue":{"value":{"amount":"+0.8038724660873413","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":"Q5053010$D8D89F94-B290-4F99-831B-BE3BDE5BA16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b2ab1749cfd1cb1654f9bba92afb846f1670ac","datavalue":{"value":{"entity-type":"item","numeric-id":5053006,"id":"Q5053006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4754e5ace423b91118fc4f5d0e58be4e0044239","datavalue":{"value":{"amount":"+0.783989429473877","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":"Q5053010$3D447D81-C30C-4435-936F-DDFF16E7813F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1bff0083d5306f78d94ac28e217263fa23a329","datavalue":{"value":{"entity-type":"item","numeric-id":1725847,"id":"Q1725847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b017f8156569d68c9658a51e09cd0222ea3b01c8","datavalue":{"value":{"amount":"+0.7802850008010864","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":"Q5053010$7788F3FB-7002-4796-AABD-470F740E142F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5053010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5053010"}}}}}