{"entities":{"Q4884668":{"pageid":6914247,"ns":120,"title":"Item:Q4884668","lastrevid":46441929,"modified":"2025-12-24T19:20:33Z","type":"item","id":"Q4884668","labels":{"en":{"language":"en","value":"Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 897303"}},"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":"Q4884668$FF4242FF-2273-4512-8EF7-2E990530F042","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3ca69daf9b50596f6c0b344c3aea68622377059","datavalue":{"value":{"text":"Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4884668$57B13C11-109D-4130-AD47-5AADF792A310","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1e14280eaf18dedd503ef21030cc72a7b100899","datavalue":{"value":"0849.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884668$D520D618-1096-49A8-B2E0-1D81B1A0131B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4e12c722f49d808c298b612fc4992a4ed23967","datavalue":{"value":{"entity-type":"item","numeric-id":626877,"id":"Q626877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884668$6033E993-F408-4082-9FDA-DD6CEE00D541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faadbd22dd8b1da3be6dbb593d6df9253bd99cd","datavalue":{"value":{"entity-type":"item","numeric-id":1248615,"id":"Q1248615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884668$93C7D930-980D-488A-91A4-014FABB6AD38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c22ab6e6540355a2ab561fe85469410018fab286","datavalue":{"value":{"entity-type":"item","numeric-id":2710688,"id":"Q2710688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884668$C8184A22-04F4-47D2-A412-8A495189E470","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a8d1237d32ec5eadec6067ce7ffbf57e42f0929","datavalue":{"value":{"time":"+1996-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4884668$5362C196-70C6-4E82-924E-F82CA14F38C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884668$66E0BE6B-825D-48C0-8634-0C8C72DECEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884668$97D194AC-A18D-41D5-BD1E-39A1A17E49EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884668$5C1BCF3A-AAA5-41BE-A982-8E7694E14025","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c3a8c1c99e8500cfcff53c5fd9bbf671a0538ce","datavalue":{"value":"897303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884668$90C78301-73B8-400C-8D6B-01B910EACDE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e74996e55d08d5503c25807ec7e547c5c73d629","datavalue":{"value":"hereditarily finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884668$96A16FEA-8953-4116-A308-898F79B20E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a83f0eb22ee979672f3ba38a3a9bd68719df40e3","datavalue":{"value":"hypersets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884668$63E6521E-7593-495E-BB29-839776F3289A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a494f4e1a2a42b3b4b54afafa5b28c691a981c3d","datavalue":{"value":"pointed graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884668$A0705A97-795A-4094-B7E1-53C46B9BA416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb61632d3c59ebe9274ca3dba68f802118c09651","datavalue":{"value":"algorithmic data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884668$AAC93FF8-3A01-481E-AA32-E61D3DDE69AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24605e30829a2b1e938ca38f49ec93cd8e7bcf71","datavalue":{"value":"first-order axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884668$9AA2D55E-6739-43B1-AEC7-F16D324B221B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3018f13ec4565557bf025633f394ef25a05fe3b","datavalue":{"value":"decision algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884668$A8B233CC-DB3A-4087-8189-3E710D519ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"372cb15de3004a467e66d53d6552e691fb87a439","datavalue":{"value":"unification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884668$2AF432BC-2212-4193-8367-035922C35383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884668$19EF77A2-107B-4E28-AE66-F978F18E1A29","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":"Q4884668$D9EEFB89-55EB-41AA-BCAB-02136770FC79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1423e8b27787c24cb7f0cd1cd5f748827d7b4c37","datavalue":{"value":"https://doi.org/10.1002/cpa.3160480908","type":"string"},"datatype":"url"},"type":"statement","id":"Q4884668$C554C050-DC47-4585-85A1-7B78495E2AF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7c241c0f162ca8d1bfc3cf69a3316c5674da314","datavalue":{"value":"W1984699712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884668$8338BA3E-4E3A-467D-95E5-70DD31970EA7","rank":"normal"}],"P223":[{"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":"Q4884668$DA434DA0-E57D-4521-84AB-1F5B88BC9810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31056ba7bef371a84c6567e1f213adfb1cdc68a1","datavalue":{"value":{"entity-type":"item","numeric-id":1322849,"id":"Q1322849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884668$5162593C-CB52-4A49-B1AD-01A820B51B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"979352c96340e8cbcd21d74fe5e244a3db188787","datavalue":{"value":{"entity-type":"item","numeric-id":4868240,"id":"Q4868240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884668$D5D0C9CC-7E64-44DA-972C-7B98CDBD3465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9732b89c1ec3dfa5b9fdbcbf606dc155ea9b940","datavalue":{"value":{"entity-type":"item","numeric-id":1124375,"id":"Q1124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884668$940CF4E7-A5D8-47E1-A2DE-C2B2AC69B96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884668$D64766DE-3D51-44FE-B223-F953190B093A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7024d7b3c8e68f3340698af726d3bbe221022961","datavalue":{"value":"10.1002/CPA.3160480908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884668$F43827AC-66E7-4354-A958-5D4AF0841FE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b00271b24f47d225c4f196d3f4765427eb3d31","datavalue":{"value":{"entity-type":"item","numeric-id":810494,"id":"Q810494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be9893e633abce98f0ce9f669ed877d0005b80c","datavalue":{"value":{"amount":"+0.8286008238792419","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":"Q4884668$5AB848F4-AD9E-4E71-AC2A-2099B309FF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b6797f7baa429db18ac3c6b731d6c25f813396","datavalue":{"value":{"entity-type":"item","numeric-id":4506398,"id":"Q4506398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38088a1ff377e95deaa518330383f6bda2eee89c","datavalue":{"value":{"amount":"+0.8274796009063721","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":"Q4884668$D1EE3DA6-7B89-4934-86CC-58C087602C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7dca6b99730b98bdcd03037fffb847a56ea44e","datavalue":{"value":{"entity-type":"item","numeric-id":3787974,"id":"Q3787974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"397a4e6bf1afba34b0872c09b5928c432da6285e","datavalue":{"value":{"amount":"+0.8253766894340515","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":"Q4884668$A75EF9F0-9971-4615-9D4B-4CC902C22057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68391f8ef32c85200322ad9cb86b329f984620bd","datavalue":{"value":{"entity-type":"item","numeric-id":810489,"id":"Q810489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34944ceeb97416ec61b217c53a97553c1b745411","datavalue":{"value":{"amount":"+0.8235423564910889","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":"Q4884668$EFE04252-B612-4A76-A96A-34452CB39397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f63febe65cf910f5f38c8538d16ed1f06015722a","datavalue":{"value":{"entity-type":"item","numeric-id":1290508,"id":"Q1290508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a76c3c2520aa584801cfa9adb9cd3455aae2cff8","datavalue":{"value":{"amount":"+0.8159288763999939","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":"Q4884668$6609A1C7-2F8B-450A-AB78-85B274F31BA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4884668","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4884668"}}}}}