{"entities":{"Q4389761":{"pageid":6419360,"ns":120,"title":"Item:Q4389761","lastrevid":46971723,"modified":"2025-12-25T23:27:01Z","type":"item","id":"Q4389761","labels":{"en":{"language":"en","value":"On generating all solutions of generalized satisfiability problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1154541"}},"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":"Q4389761$22485BFC-224B-4D6E-BC61-1333299F1296","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92501d848905060e6c068daa5821b2950ae5bc34","datavalue":{"value":{"text":"On generating all solutions of generalized satisfiability problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4389761$6672A5C2-8BD1-43C2-A940-D8A638010216","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1008bd67bfb05496bb1e538fcd545354eb6a05c9","datavalue":{"value":"0901.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4389761$F8B2B3F8-E2E4-485F-AB31-BAFB36802AB4","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":"Q4389761$4F57A4B9-98F6-40B3-A5F7-A62E9583BE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4081c4099f10e356714bb1c9f339658626e1bdda","datavalue":{"value":{"entity-type":"item","numeric-id":673673,"id":"Q673673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4389761$564B2E5A-1FCC-422A-AF25-F0621E778319","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4389761$BA0C3E53-35D1-4CD0-B29B-95AC0229F93F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55fb3f14c91fe25aa34a1cf0fe957b7dd1b3bb52","datavalue":{"value":{"time":"+1998-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4389761$32CE9B88-BACE-4D9D-819F-0910E4697B3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c83c01fc86504d26e5622d71067aa4c2b8cf3519","datavalue":{"value":"https://eudml.org/doc/92575","type":"string"},"datatype":"url"},"type":"statement","id":"Q4389761$B79172F5-13C1-4E57-8B85-8542A41DB2F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4389761$8E65806C-15BF-41DE-8A8A-B310DAC1CC3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06c1fc9d17af7053aecc8c02de6672301e56ea19","datavalue":{"value":"1154541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4389761$6CBF0359-90BF-4C83-AB68-192E225841B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a156c2298723b0a31ca5d03f6321aa9838027568","datavalue":{"value":"generalized-satisfiability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4389761$294C3D21-1953-4D36-AC20-94FECB697300","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":"Q4389761$CF7D327B-1D4D-4374-ADD8-9E6E6877860A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6588a49f92cf2e02822ca35629e7275175054b82","datavalue":{"value":"W157911545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4389761$2CC82C42-BD41-47BA-B356-E396D853D67C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4389761$F5C252BD-8CBE-4F7A-A394-A38AF4432746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4389761$90F9BFE7-8228-49FE-95BD-C27FA2A78C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"927b3bb72268e811f46476ea8559c6205f6bc0d0","datavalue":{"value":{"entity-type":"item","numeric-id":1917076,"id":"Q1917076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4389761$5675694B-0EE5-4D58-90AD-1FF9320B71F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4389761$291CA9F3-36BA-41CB-9C98-10A220A8193C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4389761$4089EA46-90AB-4C67-9978-3D2FB8FB2A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec165abc7ade014841f417bcba31a647c17e0c7","datavalue":{"value":{"entity-type":"item","numeric-id":1100215,"id":"Q1100215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4389761$47FA8C23-BFD1-446C-A4BE-4945FDF7C17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4fadbe040952e672c3232da507a94e0f314469","datavalue":{"value":{"entity-type":"item","numeric-id":5805954,"id":"Q5805954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4389761$12E1F0E4-3348-4FC6-9B07-0F3D747DDEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ba7598a622756daa7a1a98c7ec39119480164a","datavalue":{"value":{"entity-type":"item","numeric-id":1108809,"id":"Q1108809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4389761$4E2356D7-DF0D-40B6-9826-6AD7BE1BDF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2654c1ad3008ab65ddf962a999d4d8045dcdea","datavalue":{"value":{"entity-type":"item","numeric-id":4085242,"id":"Q4085242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4389761$422D8F90-727F-4607-910F-DDD770C28E39","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":"Q4389761$588BE3E3-4B2D-4A3E-AB61-E70B1B95BD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70536879af054717c0f3d9d913a10e93c328980d","datavalue":{"value":{"entity-type":"item","numeric-id":3853129,"id":"Q3853129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4389761$7A145534-92BC-4A24-974E-92951746F569","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b22fcd2d90b39e1d1530fe064bba7ee743b0dd5","datavalue":{"value":"10.1051/ITA/1997310604991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4389761$819FFDA6-9F63-49D7-BAD6-F79F1CE13DD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ecd180d3ecfe2479f28bacb1691fc838b4b97e","datavalue":{"value":{"entity-type":"item","numeric-id":1917076,"id":"Q1917076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"186d41ad590a9e9a100b8332c4a423277663764b","datavalue":{"value":{"amount":"+0.8067668080329895","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":"Q4389761$B414EB00-422E-49B1-B058-54BACC11AF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c48f56e941190cd2911d5ff958db66c22ca9b5c","datavalue":{"value":{"entity-type":"item","numeric-id":1114394,"id":"Q1114394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74fb034b7d251ab2792488f2fe9c453291ef4fa","datavalue":{"value":{"amount":"+0.7926624417304993","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":"Q4389761$8DC4DA32-82E1-4505-82EC-5070ACBF02FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53cf4c363a6591328077d874863524e6b1931b6e","datavalue":{"value":{"entity-type":"item","numeric-id":2786908,"id":"Q2786908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5450c7e393b46a559b168b2407d962e49abbc9f9","datavalue":{"value":{"amount":"+0.7752065658569336","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":"Q4389761$56F29E67-CE26-470F-9D82-54444C99F958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d1ff28b91f1f97e61fcd58f34e8fc60a79c4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2674174,"id":"Q2674174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e1b9d87835465ec81d2a985dd42998eb81b433","datavalue":{"value":{"amount":"+0.7751955389976501","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":"Q4389761$467CEEC4-E865-423C-96F9-96923EB3EC9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4389761","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4389761"}}}}}