{"entities":{"Q863180":{"pageid":865028,"ns":120,"title":"Item:Q863180","lastrevid":64918920,"modified":"2026-04-11T23:06:28Z","type":"item","id":"Q863180","labels":{"en":{"language":"en","value":"Generalized Kripke frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118677"}},"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":"Q863180$486C9B08-B468-4E83-B87A-D230073F0B7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad55625e937d9e03c4121d5e5a9121631be93a1e","datavalue":{"value":{"text":"Generalized Kripke frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q863180$7229F4B1-B7CC-45AD-9EB6-8E3F00CE4BD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d5c13326dab0fd6925c5b94c752cd49675487a8","datavalue":{"value":"1115.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863180$BC914E9A-36F3-473D-BCBB-FDCAA100106C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b834b8a5fa066825015fdce4bdac31cee4bdc84b","datavalue":{"value":{"entity-type":"item","numeric-id":186438,"id":"Q186438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863180$37F48A01-1D7E-4863-BA13-90493D670220","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863180$6A15C377-145F-44A7-9CF8-13570A393812","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bcc80abf4febcaab92f350c6ca87f3e89154ae7","datavalue":{"value":{"time":"+2007-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q863180$11F1BE23-7B47-4658-887F-99BE8BAA93A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863180$C1796662-69F4-49C9-B578-B99AC2653278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863180$BAC04A37-50AB-4AC7-96C9-E7BAABD43AC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc602cd471b1fff83b3749462243fa12a0f77489","datavalue":{"value":"5118677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863180$235DEFFE-CA3F-4E93-8918-49CBAD2BABBD","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":"Q863180$52D5625A-09F9-4818-89DD-15C2D698B4C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b913243cf010224b1f0fdcdbe54c50e600e56103","datavalue":{"value":"https://doi.org/10.1007/s11225-006-9008-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q863180$A1A79C8C-2E0D-4D89-8B79-025093CB0358","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19d054139d65b879982d634a10ed7a219cfe1b70","datavalue":{"value":"W2028286472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863180$270844A4-0F41-40F0-972E-C4BDB99B8C10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd2d9b1141b25bcecfbb14477116a1c7cd30e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2527476,"id":"Q2527476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863180$931220B1-2A74-47E7-9072-1E3EB8D12F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"342a5b0b31f0f05ad26f2f5b664833f7a02c9ca5","datavalue":{"value":{"entity-type":"item","numeric-id":4229040,"id":"Q4229040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863180$9FDB7FC1-DC7F-4271-BED1-8C7AED7CB634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c76942999963cfb4522ef86aed03ce8c423a44f","datavalue":{"value":{"entity-type":"item","numeric-id":1422105,"id":"Q1422105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863180$ECB0A9D6-A524-4296-BDBD-04B49F4514DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89108f8d5e7b8a9a6c10b9a1b4f1677c89806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4934881,"id":"Q4934881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863180$4C0AC1A0-C8E1-431E-9933-17ED30DAE615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53be8b7a319d45de66e21d9085ad0d25d4769fe","datavalue":{"value":{"entity-type":"item","numeric-id":1171077,"id":"Q1171077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863180$45B63B11-B6D7-49CC-B13B-80520A7A15C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071268363db23fa43b7898ece6bea1d084b6ca56","datavalue":{"value":{"entity-type":"item","numeric-id":4940724,"id":"Q4940724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863180$64431B03-D368-4739-8AD4-EE4684A9454F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131e70300e3f8227ceafb7d0685319cdbb06e3d3","datavalue":{"value":{"entity-type":"item","numeric-id":5718685,"id":"Q5718685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863180$8FD1D5C2-2E04-4749-B0BD-9154CB1D7FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363f742c83b2675b357acfab9260dc81ed8988bb","datavalue":{"value":{"entity-type":"item","numeric-id":4230685,"id":"Q4230685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863180$DB44F218-21EC-4937-AC62-01E911CFAE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f88f9033642cabec78d5aedfdc947accfe792","datavalue":{"value":{"entity-type":"item","numeric-id":5936163,"id":"Q5936163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863180$7A3AE316-1473-4E1B-964E-01977F2738D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca1bc6f348c31c058c6d640b49c7c59e4cecd88","datavalue":{"value":{"entity-type":"item","numeric-id":5705523,"id":"Q5705523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863180$8D6D1E2E-EF2C-4D14-A3E1-74468481B59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff2f07857e66fadacbe0b4f38b8f73732921dd7","datavalue":{"value":{"entity-type":"item","numeric-id":705532,"id":"Q705532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863180$A1914806-1182-43F4-B411-8EBC42BDBAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef06c2bfff65c898f2207ecda2b438d5899e411a","datavalue":{"value":{"entity-type":"item","numeric-id":3140286,"id":"Q3140286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863180$292087CC-25F5-4C27-BCF1-CE02FED8D1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee4fa747b2653545611aea1932d882692f76279","datavalue":{"value":{"entity-type":"item","numeric-id":4501691,"id":"Q4501691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863180$9C01EC97-36CA-429B-A9EA-530D53C22A94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c91ba6b9c306d812a8b484eb50203dacee8d3ab0","datavalue":{"value":"10.1007/S11225-006-9008-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863180$A8BD3360-86B6-426D-A553-FCB287F1B7AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8908d07d74648e9bce6d3148e1103ae9bee81a","datavalue":{"value":{"entity-type":"item","numeric-id":1863750,"id":"Q1863750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19e6b060e78f4ead43310954af0ae65a41c9ffd","datavalue":{"value":{"amount":"+0.7924666404724121","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":"Q863180$66D23319-8612-4A6E-B0FF-1E383D4014DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c780f0d56ab3a1e89da3908f01a76626451b9a6","datavalue":{"value":{"entity-type":"item","numeric-id":688796,"id":"Q688796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19e6b060e78f4ead43310954af0ae65a41c9ffd","datavalue":{"value":{"amount":"+0.7924666404724121","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":"Q863180$031DE786-CE3E-4FAD-BD12-A0DFEDC58DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748cbca1695a8e0bcaee8b59e5e08079eef747cd","datavalue":{"value":{"entity-type":"item","numeric-id":558732,"id":"Q558732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd22bea25267a01cf0489ea4a095cd25e45e041","datavalue":{"value":{"amount":"+0.7730511426925659","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":"Q863180$C4344A36-060F-41A7-9158-D72B9D2563F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ca05ffac497c679ec74bd5124e684145630d28","datavalue":{"value":{"entity-type":"item","numeric-id":4895423,"id":"Q4895423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35db13e63db07381e21def51ab552fe628e7f0d0","datavalue":{"value":{"amount":"+0.757572591304779","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":"Q863180$83DBE19C-77C6-4A5B-AA22-21ED501A19F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61566c20f0bceb2730e6a094012523583c374b48","datavalue":{"value":{"entity-type":"item","numeric-id":1797765,"id":"Q1797765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35db13e63db07381e21def51ab552fe628e7f0d0","datavalue":{"value":{"amount":"+0.757572591304779","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":"Q863180$D5BBB430-556D-4A1F-810B-B6750348652D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized Kripke frames","badges":[]}}}}}