{"entities":{"Q1407111":{"pageid":1417851,"ns":120,"title":"Item:Q1407111","lastrevid":67369422,"modified":"2026-04-12T17:09:43Z","type":"item","id":"Q1407111","labels":{"en":{"language":"en","value":"Applicative compositions of partial predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1978405"}},"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":"Q1407111$9AB17D62-0742-483E-A8E6-7C81BB66769D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80a7f256ac0ae753aa1115332381e9c778c8ea19","datavalue":{"value":{"text":"Applicative compositions of partial predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407111$D29905B3-42E7-4FD4-91F5-B6C19A3B595C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab0286d48f27cc0228601b70c59e845124e441b7","datavalue":{"value":"1020.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407111$326695A6-E534-4344-9900-056E2BF4D673","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"859a7a1b165952fbaf8da9eecbac0e12bca5e236","datavalue":{"value":"10.1023/A:1016786600489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407111$DC5B106D-AFFC-4639-8C3F-F29F8FEFBA4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8420c59df6abf40be070c2e0f6f02138b59be396","datavalue":{"value":{"entity-type":"item","numeric-id":800720,"id":"Q800720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407111$9D8DC1D8-B6E2-4C79-824E-4FBDF441136E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407111$05838C54-5F16-4C84-970E-05F652AD1A92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a3bd22b3255d28cafbe1a32be16f369f6f38fa5","datavalue":{"value":{"time":"+2003-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407111$2D35D759-247C-43BA-90FD-D9704470D399","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407111$B4512FFE-CD00-49AA-8609-6BEC14501727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407111$16C61B6C-2AFD-4FBB-B009-24BCF5959553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407111$73FDA8E2-83F9-4DAE-8A40-89FC27465D96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0363c9243363190493988565851fae345ea2b14c","datavalue":{"value":"1978405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407111$B25E76D9-2988-4CE3-A188-EB70C5FD6BD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05574b04e6b96f7e4fb1b0d4760833d0f74ef46c","datavalue":{"value":"partial predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407111$31CEA086-1DEC-4270-A0EC-3C4189A25418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e04758c0b8b8d9c2889bc8e207a3c9c364f465c","datavalue":{"value":"composition of predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407111$B99634FF-DF37-4934-B9E4-7D4EB4EAE85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12f586f59afe61583aa50b9dd2f1e0f1c7d43c8b","datavalue":{"value":"special Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407111$91DE410A-5306-4890-A0F8-F1A6139FF83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbeb53a171a8c3c95941a5505c6a55ef5ae151ec","datavalue":{"value":"complete equational system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407111$608E04A2-FA98-4600-93D5-7E5B9E30BB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f1386f6c0566a5a65adb6b190f147c70b5fffdd","datavalue":{"value":"logic of partial predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407111$18835A55-3607-49A9-8F39-34CA2C958E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfec5071c26f8f6d9b9ecc96f6adf7760a103e9d","datavalue":{"value":"modus ponens rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407111$90A30B16-D8EF-46EE-8815-42D9D7B3CB5C","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":"Q1407111$02513F88-D0D7-4B26-9C74-43300C571D25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc7a414ec47ddccf354e99afcb38c23ca2ea7c18","datavalue":{"value":"https://doi.org/10.1023/a:1016786600489","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407111$342ED1EA-DE9E-4DA6-8E64-C62BA4A01E57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f50277b45f27ea8d7bca7459e83ba5cbd1f45dff","datavalue":{"value":"W1581988789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407111$E0A0386A-8E13-4C3D-A04A-EFC5AE01E817","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"847085b1729af50019b619af923dfbc46e880a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1592086,"id":"Q1592086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"934d90ab90dd3b93532f6015ac04be3644b6670e","datavalue":{"value":{"amount":"+0.9264309406280518","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":"Q1407111$A4ECA473-DF42-45FB-8129-FA070A9B8769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197094d8edc7f49288ae65542cebbc5ce63e5540","datavalue":{"value":{"entity-type":"item","numeric-id":4675319,"id":"Q4675319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d69afecc6b26853f08483b5441a6f9af96120c98","datavalue":{"value":{"amount":"+0.8193531632423401","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":"Q1407111$F0164148-1FDE-4812-BA52-ABD315E9695E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c38a77f51d62118456c1957dfc65191033b295d","datavalue":{"value":{"entity-type":"item","numeric-id":5467757,"id":"Q5467757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"211465a5e48de3403763812bf01c67744b4f193b","datavalue":{"value":{"amount":"+0.7969254851341248","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":"Q1407111$CDEFA8DA-3B60-4C31-AD4D-2F4C8603497A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1d7cc630224f3555108fd38d6905937291adf61","datavalue":{"value":{"entity-type":"item","numeric-id":4676766,"id":"Q4676766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03325bf86c8ec7432aa187840d0503dc70c8abc5","datavalue":{"value":{"amount":"+0.7924495935440063","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":"Q1407111$D63F538D-3C12-48C0-88EC-BBD64CA4C084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d7b3fa8ea64ff3a2d3ba60cc3ce13401d1210e","datavalue":{"value":{"entity-type":"item","numeric-id":4418112,"id":"Q4418112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"637885f52002359cd2bc77a29577ff730b689087","datavalue":{"value":{"amount":"+0.78629469871521","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":"Q1407111$1CB2F577-09EA-4419-A37D-08FA2F0D63CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Applicative compositions of partial predicates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Applicative_compositions_of_partial_predicates"}}}}}