{"entities":{"Q2445092":{"pageid":2455835,"ns":120,"title":"Item:Q2445092","lastrevid":73179846,"modified":"2026-04-14T14:52:19Z","type":"item","id":"Q2445092","labels":{"en":{"language":"en","value":"Satisfiability in composition-nominative logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6283522"}},"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":"Q2445092$91587C1C-26DE-46EE-A9C6-575165ABA3F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a915ac78419d647dcabcb69cefbce1426af1552f","datavalue":{"value":{"text":"Satisfiability in composition-nominative logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2445092$A9014F77-9C77-4780-94BD-8046E0C2D4F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19636defefd7aeb597719b469585330aadc4c450","datavalue":{"value":"1284.03199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445092$5A5A3BAB-0480-4D4E-A75F-AC8E51119A42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5736b10882fcd248ee7728f1c7c88885067ebad5","datavalue":{"value":{"entity-type":"item","numeric-id":271899,"id":"Q271899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$47CB242B-B7DD-4F27-BB26-A43FF3D48435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c64c344fb85a7c4e2189dfaef418b84fab713751","datavalue":{"value":{"entity-type":"item","numeric-id":2445091,"id":"Q2445091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$C09438DC-6967-4F59-98AA-2DF39F1D31B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"442894299e1e289bbf7a31ab1786d1a8dbf1cab3","datavalue":{"value":{"entity-type":"item","numeric-id":469054,"id":"Q469054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$301E8762-5C29-4134-B67B-B8702FDFC0FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af2bd9793596aefadb295689a4db5fbda4fe4920","datavalue":{"value":{"time":"+2014-04-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":"Q2445092$B435D32E-6385-492E-9E90-F65BE8A0AD01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445092$7910B643-185E-47CD-BE68-D10EC5244993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445092$221CED27-7313-4FD5-AAAF-06BC3523D73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445092$963AEB94-4F3B-4124-B48C-EB65349986CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0de2d8b78f5b898d472ca9aae0b5b6f07ebac8c3","datavalue":{"value":"6283522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445092$E788856C-D0C5-4D0B-BBCE-DB6D090392F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eec8c863c19bda352011252eb441ae0cc8291d89","datavalue":{"value":"partial predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445092$1A575F3A-D6FC-4D61-A48F-C35BF66E8D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72c76477f8836c0499788580c8d59795ee4947a7","datavalue":{"value":"partial logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445092$1A6B7B71-4319-4E20-B46E-EE4F6FB5286F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd72428bb0c10f9d233733680fe8ea8f7bc7165a","datavalue":{"value":"first-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445092$51D3609F-7CC1-4ECD-9318-CFE3FB3B0A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445092$EE8A4D84-7DEE-47BD-B412-49692DECDABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445092$F3EC3D73-4842-401E-AF1E-32808C01BEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445092$163C2233-A0DB-480E-B6FA-6D40B7AB2211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f030ce37e99d707b9b2d8b7466bd628ec533aee","datavalue":{"value":"nominativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445092$0BF21A27-C513-4733-9603-A5F769048CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b766248338b2db67f9465b8d2cc02f746ff9913","datavalue":{"value":"compostion-nominative logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445092$7731E499-3D8C-408D-B996-65CC56ACA4FE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$B2542DB3-B16C-4FE8-A28E-D18A62A40DA1","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":"Q2445092$926F55D9-51B4-4B78-B888-06260A9EFAA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1966df969e5c6140ef95e83b3a51cbdf10341e79","datavalue":{"value":"https://doi.org/10.2478/s13537-012-0027-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2445092$231B55BE-F249-432F-B6D9-6995920D3D75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce36670b007338c21e4e94cbdb25e9e649b21249","datavalue":{"value":"W2100235980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445092$F5978D5E-F282-4255-9082-D0B639B16E0A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$78C5E3B3-1F6C-493F-9AE9-A89C1BCBAAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbf516d618c4e40e5cc45192848e3901d56db66","datavalue":{"value":{"entity-type":"item","numeric-id":2848053,"id":"Q2848053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$DA72CE0A-5534-42D4-B98C-D3CCDB7D16A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9022c9aee36cab0809b17294cda2c6c8815531c3","datavalue":{"value":{"entity-type":"item","numeric-id":5187818,"id":"Q5187818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$5F3563A8-40A5-433D-8EFA-8DA1DDCA7AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac112fa86da6103a524055faa2c07c5d10706df","datavalue":{"value":{"entity-type":"item","numeric-id":847457,"id":"Q847457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$6B4A2640-C1E5-4E35-AB3B-076B77357CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$CE8F0A48-87EB-489E-910E-3AC22A00BEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83df78167f6da212f52872db822f417acaf4aa1d","datavalue":{"value":{"entity-type":"item","numeric-id":4375757,"id":"Q4375757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$51FD4285-CB7A-4A45-BF85-BB253328A7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95942c2efd3aaea40533a80dc0065fdd12aa3edb","datavalue":{"value":{"entity-type":"item","numeric-id":2863853,"id":"Q2863853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$E22069D7-1671-4C53-A919-4A9428F3558D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$EA61814D-D69F-49B8-BBF0-2391F404B0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f085e060cc02117b4ec73931c77617da801d17","datavalue":{"value":{"entity-type":"item","numeric-id":2473386,"id":"Q2473386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$E4338EEE-054B-455E-962A-8A5CC89FDA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b946fb2f63c0dda27fa5ba25a5cecdec9a1c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4229041,"id":"Q4229041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$7827A8A5-CAE7-45C6-828C-676D8FDD2721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b58947cb7a079bac0db1d082fc9f925471e0be3","datavalue":{"value":{"entity-type":"item","numeric-id":4023828,"id":"Q4023828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$CC3618C9-79B5-4E45-B7B7-1A72E5902AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$3DFDBC34-928D-44A4-837E-EBAAE078755E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce586abd9c5071650d34a69e8ada0a71ad839f4d","datavalue":{"value":{"entity-type":"item","numeric-id":4475108,"id":"Q4475108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$3CFBD3E3-DDA8-4722-ADF7-01D6F6E8BA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b342d4451cb295a5190f3b862f83e79293b4b6","datavalue":{"value":{"entity-type":"item","numeric-id":1261311,"id":"Q1261311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$0B488E3F-DF06-4D36-8FC9-6DD9F4B3350F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$D706D622-E83D-4DD0-85C9-1E0CB055B700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0aec5a341a241ef62b88441213ffb0a100088d","datavalue":{"value":{"entity-type":"item","numeric-id":2247805,"id":"Q2247805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$5EB7C6D9-F519-48AD-8DAB-E58F9A7FA425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$39D520B8-1B0F-46CB-BDF5-982E6C5034CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$EBCFBB85-73C2-47BC-ACBE-BBF517FCCCD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9eb47eb4893714d36ce7c05abfcc147582387b64","datavalue":{"value":"10.2478/S13537-012-0027-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445092$57534AA6-81C0-45F2-B098-B5FD5740E3F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30dfe6f7561c095c725d553acdadc57c87b0e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2897511,"id":"Q2897511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e991928b479f1a574460875877fd74caec85356a","datavalue":{"value":{"amount":"+0.916048228740692","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":"Q2445092$5D148647-0526-4DB9-A5B6-65E531B13403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b95f5cc1f4ee139cee29aa779dfa27e5ac0f10d3","datavalue":{"value":{"entity-type":"item","numeric-id":2850242,"id":"Q2850242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e53c9b02ca0c0d0aadf7cad3096b0ab40834da2","datavalue":{"value":{"amount":"+0.8704158663749695","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":"Q2445092$A121A3F4-087D-470F-911C-235327B773DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63ea1a8d33b9c7a83064b59f0990a6df66c1aa9c","datavalue":{"value":{"entity-type":"item","numeric-id":2745194,"id":"Q2745194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0274174a41b113acc91df373538876279b09fd9","datavalue":{"value":{"amount":"+0.7284025549888611","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":"Q2445092$B603D077-F209-40E6-9E9A-C0368954EB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450028a69da23b62e34f401ef256e252512c166d","datavalue":{"value":{"entity-type":"item","numeric-id":2897499,"id":"Q2897499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf68a7bc7e8c9204212669aff3dbb15d97f8f24","datavalue":{"value":{"amount":"+0.7269485592842102","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":"Q2445092$6BB926E4-2211-441A-83FE-7E251B0AEAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2f1517d2bf4330ad395065a67f1176d1cd4d27","datavalue":{"value":{"entity-type":"item","numeric-id":1653557,"id":"Q1653557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61919993d0cf3228a5ec6b77c72bec66cb1e7717","datavalue":{"value":{"amount":"+0.7241030335426331","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":"Q2445092$CBF642E7-7C4D-47EA-A24E-5942D2ED007C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445092$ADCA211A-A5A7-43D7-851F-2CAA29E5D57C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability in composition-nominative logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfiability_in_composition-nominative_logics"}}}}}