{"entities":{"Q1401338":{"pageid":1412078,"ns":120,"title":"Item:Q1401338","lastrevid":68625234,"modified":"2026-04-13T01:00:30Z","type":"item","id":"Q1401338","labels":{"en":{"language":"en","value":"Generalized satisfiability problems: Minimal elements and phase transitions."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1965354"}},"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":"Q1401338$2674119B-22D2-4B20-80F4-36B0986529C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f0c1d991efe2224c44739de62d5eb4c60554bb8","datavalue":{"value":{"text":"Generalized satisfiability problems: Minimal elements and phase transitions.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401338$97C33F9F-293B-4466-B685-AE86BE019947","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e166faec41f39858fbd7c9a2bb27121ca8582602","datavalue":{"value":"1051.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401338$D23DFE72-4DA6-4D81-BCCD-82F1429E6AA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2923a76d3c591a3108da93e680d7181229f0dc9d","datavalue":{"value":"10.1016/S0304-3975(02)00890-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401338$6E565D2D-7BD2-4491-9ED6-4836C5C7F0C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b2501ec31141075b0e4a606774080e8f4837bb7","datavalue":{"value":{"entity-type":"item","numeric-id":293436,"id":"Q293436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401338$BF638A66-C11F-47B8-B088-1FC0E705654B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e974d97bfd43337dd9696788581e32a53e631389","datavalue":{"value":{"entity-type":"item","numeric-id":598195,"id":"Q598195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401338$3B6C8CEA-D372-4504-AB65-CAD7D58DEE7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401338$CDCBDAC0-E6C9-4534-8919-491001777380","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c559667253af6b857a12c847a2fbcea5328ae19","datavalue":{"value":{"time":"+2003-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401338$90F22431-730C-4408-8450-DC4115D872BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401338$87327BC6-44E5-473D-A3F4-EC938D3B06C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d30e33a9e468c7b2a98ed1963a5081619bf3449d","datavalue":{"value":"1965354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401338$DA95BB58-1AC5-4BD9-9B91-A3682D4CE7A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1698178288f52f63fe45dc86fb2f3c4ec3679b4","datavalue":{"value":"Random structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401338$F5E2B8D8-A64A-432C-BB33-BAC91F6183A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c95393006136a65861f345d17e00540c09d9d258","datavalue":{"value":"Satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401338$60AD4D5F-8FC4-49B5-A2C5-945FE0AED3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc77f0f9839faf56d50727fea69f401ed8c9af77","datavalue":{"value":"Threshold phenomenon","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401338$29A95EF3-2AB2-46E0-B5F1-73F34275AB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97d685e5d29155eccafc6fca7d2d35ce2c8c10e","datavalue":{"value":"Phase transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401338$08212A8F-0DA2-4374-A591-E2A6A27F813F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e6d8e15f5fcf474220f49dd8eac873c861bd958","datavalue":{"value":"Minimal elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401338$A0317116-15D6-4E73-9C76-528EA2F5A0DD","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":"Q1401338$3692159D-A7EC-4D48-BE2C-C04F4B2AACDA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1f2e93e2ed69514afa1568e15512d0d12ebbe","datavalue":{"value":{"entity-type":"item","numeric-id":2768371,"id":"Q2768371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401338$F92802BB-1CD9-4625-A1C5-6B7F5C37BEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72bdc200c096a90cb093d01083b69c58672a0aa3","datavalue":{"value":{"entity-type":"item","numeric-id":3682518,"id":"Q3682518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401338$D139AC20-EB5B-418B-BF5C-807385F27E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca53ad94423f90b2960fbf6a8505860cda9e7763","datavalue":{"value":{"entity-type":"item","numeric-id":2725029,"id":"Q2725029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401338$5832B139-7E48-44D9-A9F1-32F05C0129D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c16d03080cf104b6d9587e78c576489f573cb47","datavalue":{"value":{"entity-type":"item","numeric-id":4228436,"id":"Q4228436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401338$C91FA8B7-080D-4D64-8CE9-943350B95172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c705cee9bee4ceec1a8ca9ba7915f900ea175f7a","datavalue":{"value":{"entity-type":"item","numeric-id":1961446,"id":"Q1961446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401338$40E05157-7ACE-4817-BA5A-BD86F7273DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b330a1fcd57ed03b5bb7894b903390953871d98","datavalue":{"value":{"entity-type":"item","numeric-id":2723175,"id":"Q2723175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401338$45633171-C9DE-49FA-A310-19F75DB9A04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87839e9cce21429fa5c0660242873028f18a79f","datavalue":{"value":{"entity-type":"item","numeric-id":4952608,"id":"Q4952608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401338$60D0D9BB-CC37-4429-933C-0E17B169ABE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abeae94a4dd15b9edf66729a439c51780e915dbc","datavalue":{"value":{"entity-type":"item","numeric-id":5958800,"id":"Q5958800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401338$37476503-B150-4769-B9A1-7B6BE4EF6664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256c0e265dfef282ea4224d2df1e7fcf0e5ac817","datavalue":{"value":{"entity-type":"item","numeric-id":4257709,"id":"Q4257709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401338$428A332F-1B83-4034-A41D-7150FC366BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46a8157b90326cc6f44bffa8150bb95253d14c8","datavalue":{"value":{"entity-type":"item","numeric-id":676451,"id":"Q676451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401338$91B72348-0C99-4DEB-96F8-72B0F4CF2E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf59279ec921640243f0d294b136bbadf9f25cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4411392,"id":"Q4411392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401338$6F61C73E-C50F-4C5E-AE14-6819C27DADDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49347a96ea5f7172477fd3a5c9b8312b90cb768c","datavalue":{"value":{"entity-type":"item","numeric-id":3101335,"id":"Q3101335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401338$84D45783-D644-4FC7-8C35-9AEFF5CB42AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ba8662c7b3fdf1e7d544c3eef372682d830b9f","datavalue":{"value":{"entity-type":"item","numeric-id":3579225,"id":"Q3579225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401338$6487140E-36E9-4049-83A9-B09BB811FB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401338$CC187EFB-1495-4945-B6B9-1C7D8C25907E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2398065202f3b8392da467e985db897681401576","datavalue":{"value":{"entity-type":"item","numeric-id":2674174,"id":"Q2674174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401338$4B0E883B-034E-4032-8953-7ADA625F3C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aaff56899c9d83c7edc182fdd871ee1eb568ebd","datavalue":{"value":{"entity-type":"item","numeric-id":1607007,"id":"Q1607007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401338$C88ABEDA-DCD8-43E2-B7FC-B90B5C678117","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc9f7fac5876f451a79f5fa3da11645029db7ec1","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(02)00890-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1401338$3901F804-A509-4D00-B9BB-C03AE94C4914","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"461b7d59b482357855681d686bf5bdec8fde8d39","datavalue":{"value":"W2033086906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401338$68722206-E737-44D3-9CF1-0F4D3CE001EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d745e38b80b5c7d1a07b8d0b8d47e997f98accc","datavalue":{"value":{"entity-type":"item","numeric-id":3154710,"id":"Q3154710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3657d24bf09dab16f5bce40ae2c3cfd31a840738","datavalue":{"value":{"amount":"+0.8468543291091919","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":"Q1401338$8A4C642D-D3DD-4D20-B8A4-377EEF1CC0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9241c9656ab413cba3b94775fa4fcf36b2f396e4","datavalue":{"value":{"entity-type":"item","numeric-id":1610035,"id":"Q1610035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45090a330e6a54f3fa495f022910c0ba47270153","datavalue":{"value":{"amount":"+0.8053637146949768","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":"Q1401338$344EC0C5-ED66-40F6-A0DF-4F62D4001088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da0a580727772c96c1fa9c952f4f5395ed79c23","datavalue":{"value":{"entity-type":"item","numeric-id":627513,"id":"Q627513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bdcf89a928eaf81b68ea07727e4674e8cec0c85","datavalue":{"value":{"amount":"+0.8022050857543945","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":"Q1401338$8F7724AB-E2D7-4952-B792-9F921397A4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adbfab48214af0701f95ed137dd9b77a832071d2","datavalue":{"value":{"entity-type":"item","numeric-id":507445,"id":"Q507445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6069aeee757ecda3cffd8bd44033ceb1f71b65","datavalue":{"value":{"amount":"+0.794802188873291","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":"Q1401338$7048CA5B-CBFB-42D8-A62D-6348F5E0174F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad60dbd5695f565691a498bbcee1b4d4c8f17907","datavalue":{"value":{"entity-type":"item","numeric-id":359981,"id":"Q359981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bb24a7bb4edf4547913ae36c1280cd927b4b230","datavalue":{"value":{"amount":"+0.7945641875267029","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":"Q1401338$D88E3601-1930-4D64-B582-DC650BC19BFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized satisfiability problems: Minimal elements and phase transitions.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_satisfiability_problems:_Minimal_elements_and_phase_transitions."}}}}}