{"entities":{"Q1900313":{"pageid":1911055,"ns":120,"title":"Item:Q1900313","lastrevid":71736630,"modified":"2026-04-14T00:12:51Z","type":"item","id":"Q1900313","labels":{"en":{"language":"en","value":"Decidability of systems of set constraints with negative constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 811002"}},"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":"Q1900313$0E670787-3F6B-4CCE-86E6-F29F518614DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83aa3a26708d3fb1407f69e8ffdd69f38b045e43","datavalue":{"value":{"text":"Decidability of systems of set constraints with negative constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1900313$0504C7EB-F507-4E5E-93A8-32F0D5A7618A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa877b2fda60186cdc6d28f9651026b62ab0de01","datavalue":{"value":"0834.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900313$FE4AC21D-3DB4-44AF-AD91-45DFF1F8EA85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1c0d40e17e8d402208a82971198674b488ccb73","datavalue":{"value":{"entity-type":"item","numeric-id":914353,"id":"Q914353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900313$51D61603-E269-4EAC-9D41-984B0F425D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900313$A523CF25-4B76-4FE6-BDA2-4AB6D8EFBCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f4d5a6a7d959f1831360db72d03e4be033fa86","datavalue":{"value":{"entity-type":"item","numeric-id":1818008,"id":"Q1818008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900313$DAE8651F-6116-4D99-83D0-4B7CB31FF976","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900313$46B9132F-C029-4ED5-BD6B-9AD17CFAE152","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"070a70caded07d3199a9b728c1f2b1773cbed9fb","datavalue":{"value":{"time":"+1995-10-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":"Q1900313$0159789A-4DCC-4CCC-B167-F6A5C5BFD30E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5eca95276437c1c3e1a3c66b66a5c4a1e4c0b903","datavalue":{"value":"https://hdl.handle.net/1813/6132","type":"string"},"datatype":"url"},"type":"statement","id":"Q1900313$729F6182-3D74-49DE-BDFD-491BD6BF8BA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900313$1C1D6AC9-79EB-49AB-88D4-2D3519DFC326","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1094fb52a31c2142b76d2129aca68f73236d0cbf","datavalue":{"value":"811002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900313$CE72A359-3FF7-4D86-8F43-BD6C9EFA945C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4532818dca91c0a5ab224b4fe1077e3a94a99bbb","datavalue":{"value":"set constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900313$47A1B3A8-C868-4C5A-9F22-2E54F0D8453A","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":"Q1900313$C8140261-6B65-466D-B22D-A4C51D301BEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48775bde753dcee9ac2d9859b4f0f25e0c167ceb","datavalue":{"value":"W1999968383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900313$21E87D93-5360-4235-AF08-32445D71395C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f03b8c8ff2d7d7965e17d3136333f930fffffa66","datavalue":{"value":"10.1006/INCO.1995.1139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900313$8C5D481C-D486-4FAB-A11B-7DFAAF12F8BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fcd04e207e11f4e665b47efc74149aa6a42ffa7","datavalue":{"value":{"entity-type":"item","numeric-id":5096317,"id":"Q5096317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e911dcf5fc62351274a7c32dab752a25a5118a2","datavalue":{"value":{"amount":"+0.8951242566108704","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":"Q1900313$CAE8E989-F534-44C1-873D-ED1798B240D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"931b352715d8584db148d20bed89668234a2786c","datavalue":{"value":{"entity-type":"item","numeric-id":4525271,"id":"Q4525271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c272744156358cc70057ffb9158cf147710329a0","datavalue":{"value":{"amount":"+0.8273304104804993","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":"Q1900313$7E91886B-D12E-4151-A6E9-C40E5640866D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512ad91b4a9a6472c4d792bb43d14c098a2e7b4c","datavalue":{"value":{"entity-type":"item","numeric-id":1271568,"id":"Q1271568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed6c9cfcae546564c18e34cd2f546351fc9236f5","datavalue":{"value":{"amount":"+0.8223612308502197","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":"Q1900313$1D6E0438-3717-4022-9FF2-04731F0EEA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee5a3dcb1a53cdba0b94b5f46a52b6c52286f6e","datavalue":{"value":{"entity-type":"item","numeric-id":1286366,"id":"Q1286366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8321f2aa1528316fe047cb56f5307da92e759a6","datavalue":{"value":{"amount":"+0.8107965588569641","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":"Q1900313$8E45CBB2-667E-4687-8AAE-DFDA07310CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c3826c2527c60891ad7f13fdbc2292e0e051f4","datavalue":{"value":{"entity-type":"item","numeric-id":3578206,"id":"Q3578206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f3b71ee2f63470318f1f06dc304bd5223169fb7","datavalue":{"value":{"amount":"+0.8103333115577698","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":"Q1900313$6143CBAD-27E4-4422-AC92-7EA34002AA6F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900313$DD2EB34E-7019-4B25-8C90-4F14F5CB22D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of systems of set constraints with negative constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_systems_of_set_constraints_with_negative_constraints"}}}}}