{"entities":{"Q783121":{"pageid":784970,"ns":120,"title":"Item:Q783121","lastrevid":64341504,"modified":"2026-04-11T19:11:52Z","type":"item","id":"Q783121","labels":{"en":{"language":"en","value":"On weak positive predicates over a finite set"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7226074"}},"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":"Q783121$AF4E7AF2-9B05-47B8-8C79-942605A7B821","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"859020fe93b520f23151ccf436916be7560a80fc","datavalue":{"value":{"text":"On weak positive predicates over a finite set","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q783121$9F25AA90-4DE9-4E66-9ED1-4D8DBE0D5566","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"525a451b355849f9c25387b8429f0efa0c5979c1","datavalue":{"value":"1445.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783121$FB2E1204-134B-42AD-A6B1-8E0979BD9583","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d13dc08b9218ee8803740f4869809fbeeec2d36b","datavalue":{"value":{"entity-type":"item","numeric-id":285505,"id":"Q285505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783121$2DC5F055-3F58-482E-8A2E-F57584FC76E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d82c5188b0ddafa3f3991a7a06ab8754aab0c2b","datavalue":{"value":{"entity-type":"item","numeric-id":314121,"id":"Q314121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783121$90C5880B-6D3C-4C8E-A9E9-A71BCA64AEEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b60f1b35d6daf10817fede04796910fcdeed36a5","datavalue":{"value":{"time":"+2020-07-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":"Q783121$8500D515-621B-4903-AE8B-CBAD5C924EC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783121$348C6890-E1DA-46F1-8F40-B186B2F493B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783121$1F262BE5-2910-4F71-8960-5A53487E5DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783121$E0A1EBA8-551E-48E4-8255-C993864C6ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783121$1EA3B96A-AEBF-49A3-A574-B5852DE63379","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61a986331ae9a137c12dba438df82bed2fbdaac3","datavalue":{"value":"7226074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783121$07649852-114F-44DD-BA5B-F4D205DCBAF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8b4d37119af9703617b405e0ff2bb3c125ebdc","datavalue":{"value":"predicate over finite set","type":"string"},"datatype":"string"},"type":"statement","id":"Q783121$0A98BA56-4CAF-4338-B4CF-D23968C2C7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a06e9eb8ba0d5e6c99d98d18882299996a0dc68","datavalue":{"value":"function over finite set","type":"string"},"datatype":"string"},"type":"statement","id":"Q783121$8F840701-E419-4F31-B9E2-2F4766E98E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86c1a46c30cf0e5ed3a7210973b6f6547a600201","datavalue":{"value":"semilattice function","type":"string"},"datatype":"string"},"type":"statement","id":"Q783121$349E6C59-7AD2-4E0B-8B53-35A6C0A7053A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d1dd97afa6c70104c000e77329c845869a8d2ca","datavalue":{"value":"weak positive predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q783121$DFFAF3A3-2478-4573-A113-BF75C76497BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q783121$8422A58E-C202-4471-985E-A9507E49B504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9200e12381a971169a989feb1b5ad77748b8ab3","datavalue":{"value":"generalized satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q783121$E6B2543C-BA06-4E93-97A7-B18FD019EBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a348f9efcaabdd35d491583f05dde8d8e0eb673","datavalue":{"value":"constraint satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q783121$281960B8-A3D8-4A49-98CC-9E6B4EF51BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c75f5a3405917a956429a37cabbb30828ea30b7","datavalue":{"value":"polynomial-time problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q783121$1872FC12-422F-44A5-98CA-A9DFD4F3FE9B","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":"Q783121$D890F934-37FC-4F91-AC6E-1D5E644E5EF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e08a18a077744daebb7b380c07dac7ce10f8665","datavalue":{"value":"https://doi.org/10.1515/dma-2020-0019","type":"string"},"datatype":"url"},"type":"statement","id":"Q783121$42B99F09-3F07-4F0D-84E5-BA03A2948FAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a4dab85a067c6d89ca8851f960bced5c5ca1ab3","datavalue":{"value":"W3035348643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783121$4C703423-A16D-4D84-A0EE-074815ED7786","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce20482255e0cc12b9b9d67540465d5e845e2b52","datavalue":{"value":{"entity-type":"item","numeric-id":1274280,"id":"Q1274280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783121$C6759828-9108-49F1-8B89-E74CDFF0CD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"215fd7f718e277ec69a088e44c413ed0b740deff","datavalue":{"value":{"entity-type":"item","numeric-id":4376981,"id":"Q4376981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783121$1DDC9BC0-51B4-4C37-8B8E-708ABDC120B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d9d5f067eb958341991b2ee01dc0caab581f808","datavalue":{"value":{"entity-type":"item","numeric-id":5317171,"id":"Q5317171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783121$4979D8DC-7D64-4786-A3F9-766D51C610C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2868ae382c809c0461af2b74228a57d86e190ab0","datavalue":{"value":{"entity-type":"item","numeric-id":1001467,"id":"Q1001467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783121$C93F8206-6391-432F-B115-0FD6DE97D359","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":"Q783121$B24664E6-651E-4B10-B53E-073924DF89D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6df9df797c66e2105b650b58bb72a65315b081d","datavalue":{"value":{"entity-type":"item","numeric-id":3546290,"id":"Q3546290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783121$B19B26E4-39B1-42E9-AA4B-29C92B2B4B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d14b72dcf62238a630c55b183bf7de377d41025","datavalue":{"value":{"entity-type":"item","numeric-id":5917444,"id":"Q5917444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783121$8A3A950B-FB0D-4549-A990-EF4886D0FED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac5c8098f45dedec233a567a842051f23fa29f2","datavalue":{"value":{"entity-type":"item","numeric-id":3546063,"id":"Q3546063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783121$8032F7BB-E788-4E3D-B1A9-010FBBBDEE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ad93c43fcf97904e5b0b1b95873b7cc1247c7a","datavalue":{"value":{"entity-type":"item","numeric-id":1741483,"id":"Q1741483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783121$E2B90B3B-29E8-49A8-81FA-9D098B1D7269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b703c6e12f827b7f6fb070d9fc732bd811f5de28","datavalue":{"value":{"entity-type":"item","numeric-id":3268312,"id":"Q3268312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783121$3C70F747-4427-4221-8536-AAD0A9089974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ae21862e335541805a61105154ab0dbdc1d3849","datavalue":{"value":{"entity-type":"item","numeric-id":1193482,"id":"Q1193482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783121$F02595C2-666F-4DB9-9C53-C2063BFCE062","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b356a2efb0bcd6c4ff33a852f7283a5a8f46c173","datavalue":{"value":"10.1515/DMA-2020-0019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783121$C0479BE6-2CE4-4CDB-A2CE-FEBE36A9A2C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31bf7e6b753690ef68e00e0f5e75e295b6e81ab","datavalue":{"value":{"entity-type":"item","numeric-id":1741483,"id":"Q1741483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c7420c37c190993a0e49cee1032ef01807d2c37","datavalue":{"value":{"amount":"+0.8489081263542175","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":"Q783121$9E9A0534-11F6-4194-A650-E5F1343ECCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"409aabd69469129da69e8c191fd147e8874a09c7","datavalue":{"value":{"entity-type":"item","numeric-id":4973259,"id":"Q4973259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb7aad37e8e917f21a1d52b680b2a5e35351399","datavalue":{"value":{"amount":"+0.801483690738678","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":"Q783121$C5FBEE67-8491-46E7-8C39-09C72C040D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca70edb99519154360af8eba3bc0c7755e96cdf0","datavalue":{"value":{"entity-type":"item","numeric-id":3781061,"id":"Q3781061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2653f801d3696fec7095979b66ed36cae0fa1904","datavalue":{"value":{"amount":"+0.7074215412139893","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":"Q783121$2B2DE3E0-612C-4A8B-880C-8A9D08AD4C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b694f4005e0e90a22047d6e91b0a6337c84d574d","datavalue":{"value":{"entity-type":"item","numeric-id":5117014,"id":"Q5117014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a92de460d56651d1a288d41439d71230e518c823","datavalue":{"value":{"amount":"+0.7011144757270813","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":"Q783121$2B76C67B-46D0-4B98-B117-49A712C3F0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62dbf1522c47f1c33de50b228635a030c4658adb","datavalue":{"value":{"entity-type":"item","numeric-id":1818076,"id":"Q1818076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec3378cc6c8be50459b284c3e6d5693e480a36a9","datavalue":{"value":{"amount":"+0.6993703246116638","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":"Q783121$1608E73E-DDC6-4770-BE0A-E31833A9D70E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On weak positive predicates over a finite set","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_weak_positive_predicates_over_a_finite_set"}}}}}