{"entities":{"Q689970":{"pageid":691819,"ns":120,"title":"Item:Q689970","lastrevid":63508482,"modified":"2026-04-11T13:38:15Z","type":"item","id":"Q689970","labels":{"en":{"language":"en","value":"A fixed point operator for the generalised maximum satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 446808"}},"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":"Q689970$9125B8C6-E532-457C-B19D-DDFB16EBBC79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd25e2e45f91902ff10b3e18d99ba29241ae757b","datavalue":{"value":{"text":"A fixed point operator for the generalised maximum satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689970$B821BC93-ABFC-4A4D-A22C-80EFB2AE522E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19713345b586649cbe5f8fd7f6b80c4eee62e863","datavalue":{"value":"0783.90102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689970$41ABCA8D-9F32-4D7B-BA9C-E9A59601D1CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ad358af1780cfffebd4884b6ff889dfc1a737d7","datavalue":{"value":"10.1016/0166-218X(93)90024-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689970$5CAE64D6-A37C-42EB-8016-89C6BA69484F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689970$50A381E7-06BD-4A77-9547-212C372E5485","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0f506d9f4280d6b2b60ede7578329839e1e903d","datavalue":{"value":{"time":"+1994-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q689970$C28936A4-4660-41B3-A1A3-7695FC3795B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689970$E646FF9E-60D9-4BA0-B290-5A05FC95C354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a075736dd24125fb22e78e1f01acbe15d48baf3f","datavalue":{"value":"90C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689970$3F11F2D6-2FD1-46EB-A594-3782235FCEC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4866ab28a3a9f04f3628ebf4dad9c8d415cef3c8","datavalue":{"value":"446808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689970$2949EE25-6F5D-48DB-8987-D713AA561C24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37df4df8954f8d03cdbf4de85da37557cee580d2","datavalue":{"value":"fixed point operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q689970$1E1FB63F-FCA8-4387-8236-3DCD2DC2F8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec272a6895f1d9efbde6f9c4fc0d133355fbf00","datavalue":{"value":"maximum satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q689970$6D8C76FC-D6DE-48EF-8245-37D8075FECCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50826db21ccfa3c3d02d0a7fa4ccc30e0a1fc4f7","datavalue":{"value":"discrete time dynamical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q689970$BA933EE3-4704-49AE-A067-F7B13111C346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2428abac51530fffa92f6ea277e974a12d0f4bc6","datavalue":{"value":"truth assignments","type":"string"},"datatype":"string"},"type":"statement","id":"Q689970$5FE23D1C-6690-4FBC-913E-6E3E23F0B68D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1bd8612c62fe3b0461b3c6a51f292f0a20b0d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1297487,"id":"Q1297487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689970$D7E546BB-085F-4D5B-B0B0-4322BE113D3A","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":"Q689970$5089DD4C-B070-4933-AA89-0516D26C00E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"224085deebeacc16266c5777245e6ded8a7b7951","datavalue":{"value":{"entity-type":"item","numeric-id":3475303,"id":"Q3475303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689970$27F04ED8-CDC8-4BDA-B62F-B3A871695DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa03fdd53c1b9f8eb1141c56fc2bb4afc212b013","datavalue":{"value":{"entity-type":"item","numeric-id":1821034,"id":"Q1821034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689970$D21E897D-8920-42B1-B1E9-E828FF54C1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c473de4a003041033a704960e70418f4ff64d5","datavalue":{"value":{"entity-type":"item","numeric-id":753502,"id":"Q753502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689970$71AA22F3-5949-45E8-8960-28A776535BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f8e4e2e62aaa4b447aee31dce26faf032b9984","datavalue":{"value":{"entity-type":"item","numeric-id":3908823,"id":"Q3908823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689970$2CA3CDCB-C99E-45A0-8ECD-18AAF107AB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a2243d8a6cef715fa7a264ca279cc756a00bd58","datavalue":{"value":{"entity-type":"item","numeric-id":3781511,"id":"Q3781511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689970$0F368B4B-EEAB-4455-BD73-B941A71C3151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2062930d9701c0716080148f14781fb9929a7b","datavalue":{"value":{"entity-type":"item","numeric-id":5526189,"id":"Q5526189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689970$46AE88F6-52DE-439D-8F98-381837CEDE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ef5cda04435da0bf4e7f37f3e8c3ef5056ff078","datavalue":{"value":{"entity-type":"item","numeric-id":3777423,"id":"Q3777423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689970$FC557002-3D28-4763-9B9D-16945742E5DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a6fcdbe59d6e1ee0f96c152bb2c22aa0866fd1","datavalue":{"value":{"entity-type":"item","numeric-id":753502,"id":"Q753502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e601135e2d744de193730421ebfd881495b3964","datavalue":{"value":{"amount":"+0.7914703488349915","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":"Q689970$40408E8F-36AA-4C12-9909-E591BF5AE747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081a91ec3920e66a95c7c1fc921e945b90a39cd2","datavalue":{"value":{"entity-type":"item","numeric-id":5687275,"id":"Q5687275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52896c69fa9ed971d756e53d68180bce517b64a5","datavalue":{"value":{"amount":"+0.7667384743690491","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":"Q689970$2997CA45-4BD1-4C89-8B0B-99CCFFBE513B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37ee442af809f2c7ee4dbe3af5a2d94154cfad60","datavalue":{"value":{"entity-type":"item","numeric-id":2627424,"id":"Q2627424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd84ae17f252ca27616fbbba7e2fc2484a8ee34","datavalue":{"value":{"amount":"+0.7667381167411804","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":"Q689970$EDA2810F-A454-4938-A322-EBA245065D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac366afcd6996c6847dde0cd831029ceb106bf83","datavalue":{"value":{"entity-type":"item","numeric-id":920845,"id":"Q920845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35456d035fdad1a4a5760e04917b36ea64aea803","datavalue":{"value":{"amount":"+0.7597275972366333","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":"Q689970$F8341838-96DE-4195-9A8B-F4520494E817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"556a36f614df5d3ab1308d0a93bb5720459211dd","datavalue":{"value":{"entity-type":"item","numeric-id":4314502,"id":"Q4314502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deeeb668e82912bfd6f6a30e7b728462a1bf7f8f","datavalue":{"value":{"amount":"+0.753973126411438","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":"Q689970$C61640C7-6E71-4D44-B08E-DF7B5E19DF82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fixed point operator for the generalised maximum satisfiability problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_fixed_point_operator_for_the_generalised_maximum_satisfiability_problem"}}}}}