{"entities":{"Q1171049":{"pageid":1181798,"ns":120,"title":"Item:Q1171049","lastrevid":66751389,"modified":"2026-04-12T12:36:46Z","type":"item","id":"Q1171049","labels":{"en":{"language":"en","value":"A new modal language with the lambda operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3784840"}},"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":"Q1171049$45E668C8-C307-45FE-9809-C9F634081441","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5da9b69fa36ed5d4df99547f3387d8806c68145","datavalue":{"value":{"text":"A new modal language with the lambda operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1171049$1DC0F688-FDA1-4635-BBF2-DB5A519B31FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01707c66a648fe45918d314da97e7d14e0f10d2e","datavalue":{"value":"0498.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171049$4CFC5487-5AFE-4732-B387-F987CEF3A6DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a88106bbc6c0a28469a2a528700810de40fa2a73","datavalue":{"value":"10.1007/BF00401656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171049$DFF6A2BB-3076-40F5-ABA9-318BB3AB0BBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ae249fa1a870d4bc9a5dfcd970b2a3b278c0338","datavalue":{"value":{"entity-type":"item","numeric-id":797575,"id":"Q797575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171049$07711BBB-3127-4A4A-BB34-6CE02A79C8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"878145aab756aaf5ed8bbec441b37aabe46d406f","datavalue":{"value":{"entity-type":"item","numeric-id":798311,"id":"Q798311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171049$C1DB7598-1963-462D-A096-0DC0A09B256D","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":"Q1171049$7AB0E45E-9F5C-467B-8B90-E334EA5981A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1171049$F2B3A851-EE8D-45CF-8D60-E6FCCE892536","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171049$4E904732-15F7-4CFC-94D8-CA1644488943","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a24c04c8570a54eb664a52075f40214391f0f9a","datavalue":{"value":"3784840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171049$C461F03F-AC60-4788-9BA5-BF260CC3661A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b12b5b99bd08615d9d608f1a0cef95fd56f01d06","datavalue":{"value":"lambda operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171049$D5D33081-4211-4613-BEBA-1D63073531B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171049$888745EA-A973-429D-A2C4-A82BE397D3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1878fc5f6162c7fa857dceea4bdc1893eca257e","datavalue":{"value":"one category of free singular terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171049$FC534BBE-3BF4-48E7-A8BD-9C0B6A84258B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5e861d283e1f962dae7a86d77550cc7a6298567","datavalue":{"value":"logical predicate for existence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171049$ED000AC1-FC54-4F6F-99CF-E80882772E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"513db56a5f51f279a21e116067492a299c1458c5","datavalue":{"value":"defined relation for strict identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171049$CBED9F80-FDD0-40E5-B0EC-BD4EEE1448F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0179c11b620ab3d836a73c4e6e82bf8a434c8240","datavalue":{"value":"possible worlds semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171049$FA033EB2-C7C6-4C69-AF2B-5FF81FBEFBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103de830eb423c2e7b3c73f6870db2bf0c939e69","datavalue":{"value":"axiomatic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171049$95DB5A66-FA3F-4A36-B58E-193F577AC501","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":"Q1171049$7C74BBC9-C07D-4292-B9DD-55A366041CDB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"591f515395370fafe15c517dc7d5b4efec8bde05","datavalue":{"value":{"entity-type":"item","numeric-id":5668436,"id":"Q5668436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171049$E7721AE9-C787-4F8E-A89D-0A6580018BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d95fd08b286c2d75935da3bf6ece957a863d65","datavalue":{"value":{"entity-type":"item","numeric-id":1245107,"id":"Q1245107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171049$FFA7E657-1D93-4C74-BDEE-25D3797B9F4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new modal language with the lambda operator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_modal_language_with_the_lambda_operator"}}}}}