{"entities":{"Q2362859":{"pageid":2373602,"ns":120,"title":"Item:Q2362859","lastrevid":72598947,"modified":"2026-04-14T05:59:48Z","type":"item","id":"Q2362859","labels":{"en":{"language":"en","value":"Complete systems of monadic predicates for post classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6745662"}},"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":"Q2362859$2BEB9AF0-50B4-42FE-A957-4349DBE7F8EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f1172ab06a06590dc10ef0257dc7557c193df4c","datavalue":{"value":{"text":"Complete systems of monadic predicates for post classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2362859$C6949962-C948-4135-AD5B-E6F173DF5711","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c817669658437747ed9e7f6d779b677bfd8e3d9c","datavalue":{"value":"1376.06017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362859$4B4EFAF7-72D7-44E2-8BFA-761490DCEC7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38a0575999535e697c8b3f7dd71468e63cca4f0e","datavalue":{"value":"10.3103/S0027132216040057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362859$24FCF384-20FC-4546-9EE2-420EA5342643","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16a3a05836e90f6dab4bfa9f3c1461788aaf762","datavalue":{"value":{"entity-type":"item","numeric-id":2362858,"id":"Q2362858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362859$28F81273-0E46-4B23-B649-6DAE4A500107","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362859$4BC38295-1064-459B-8237-3096DEE3441F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e17da29f5e1bcb78c64e7bb3fa49945fe60982e","datavalue":{"value":{"time":"+2017-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2362859$EC1C634E-3844-43BB-A6BF-184747B0A387","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fd68a72b3e07c4898c640f5b0140f4da88017802","datavalue":{"value":"In this paper, a completeness theorem is proved for a system of predicates over an arbitrary system of Boolean functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362859$BADD4511-3E7E-4E87-A124-390D2F26B7AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362859$66237D6C-DF87-4221-885A-75D78F4A5791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362859$30E6946B-86C8-45AB-84EE-0DBF154AC3AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"462c2f1154a0c7cfdf601acf4f27f16b4d0a630e","datavalue":{"value":"6745662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362859$DBC42168-1B40-4171-A628-824FA0EC175A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d78a76b1fc065f85062bba6c3ee1a4b0dec042e","datavalue":{"value":"monadic predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362859$C4B09C47-9E6F-4525-BF7F-D0D8A6CABB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1b5975013d022b635a734c23eebbaecd377f48a","datavalue":{"value":"monadic function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362859$2C76ABE1-A5BE-4C29-BDF2-262F2BE06063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e956bfee2464a9a46ff6aa186ca20f6e1c15cd0e","datavalue":{"value":"complete system of predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362859$0D6C7512-F403-465D-A853-F8754A16E846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24ba4ad91aeb0eef8299a976fca82aaa7cf4d66f","datavalue":{"value":"closed classes of Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362859$0DAD7391-5507-447A-ADF1-AB08F68702D9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5359757b430db85bda396eacc69535f1c73d9926","datavalue":{"value":{"entity-type":"item","numeric-id":403198,"id":"Q403198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362859$EB1751F1-14AC-441C-A40E-961023855E42","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":"Q2362859$A2615723-FDB6-4690-A108-E4323E43EBA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"304401d717587a43643fd9122914471444956703","datavalue":{"value":{"entity-type":"item","numeric-id":3807200,"id":"Q3807200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362859$41F12ABA-4F4B-4460-8DE4-6F62141A86AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be897dd91bae47666120a207ba2cc707a9a67102","datavalue":{"value":"https://doi.org/10.3103/s0027132216040057","type":"string"},"datatype":"url"},"type":"statement","id":"Q2362859$523DE050-15FC-4BD6-8A04-B83E91344DA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"250f44d280d9004a5e776404856d9b086d7a06d5","datavalue":{"value":"W2532602310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362859$1F3AE08A-8F85-4D42-A519-589F4A89193A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5663355fbb0c354f5eaa0688ee3ac84fc4a11765","datavalue":{"value":{"entity-type":"item","numeric-id":1916568,"id":"Q1916568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"222c8126e93cc29314a4d9ef5a2b92abdcf821c1","datavalue":{"value":{"amount":"+0.8225510716438293","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":"Q2362859$06612C28-53AE-4D0E-A19D-E53CCAC68D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6c95b5168711922a1ab87ca1d825f27c164b8df","datavalue":{"value":{"entity-type":"item","numeric-id":469089,"id":"Q469089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5de59a2d66bdf6e20b2dd09c60bdc1378a680925","datavalue":{"value":{"amount":"+0.8148043155670166","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":"Q2362859$6B7F5BF9-4B67-4320-9325-80C14B4C26CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"645ee568369334631c3c72cc668a37829b9a1b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3035269,"id":"Q3035269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f019d2233a21adff63c4df3e1ffb9c5e1d3e2e","datavalue":{"value":{"amount":"+0.7833638787269592","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":"Q2362859$59FFE9F9-6BC9-4D88-9266-F564D536E5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24cdf6a3a18cbf4d5a84524cf450cfceedc682b","datavalue":{"value":{"entity-type":"item","numeric-id":3035270,"id":"Q3035270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a65ef8c24c77b0cc2df723963c7604a5cb5c3b","datavalue":{"value":{"amount":"+0.7794386148452759","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":"Q2362859$E678ACEF-805C-4617-9187-D901C52F7C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a8d9631d5ceb3f772eb2c6da87e60b360d5119a","datavalue":{"value":{"entity-type":"item","numeric-id":3365841,"id":"Q3365841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f410b2cedabef0b8c94b61bb355bec9d8a47c6","datavalue":{"value":{"amount":"+0.7778860926628113","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":"Q2362859$36BC2DD8-B127-4256-8F14-E2B9E42C3F5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete systems of monadic predicates for post classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complete_systems_of_monadic_predicates_for_post_classes"}}}}}