{"entities":{"Q2369703":{"pageid":2380446,"ns":120,"title":"Item:Q2369703","lastrevid":49836016,"modified":"2026-01-11T04:13:34Z","type":"item","id":"Q2369703","labels":{"en":{"language":"en","value":"Modal extension rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5025079"}},"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":"Q2369703$2EF527F4-34A3-4FFB-8985-82CE3381994A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28dba99abedbd6db278cad27b7fdaddb7f081801","datavalue":{"value":{"text":"Modal extension rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2369703$D3657B7D-F1F0-4799-B235-C6CE35D0F87C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"499463726f0bf172ad9874927425340bec3eced0","datavalue":{"value":"1087.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369703$AA078615-47EA-49EB-8958-64D6E683C54E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba570bbb89c0efadf561be75aeb2dcb9943c9cda","datavalue":{"value":"10.1080/10020070512331342540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369703$C1B8599D-5587-4FCE-996E-8D5023B8EFB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fa71f78eb7058118bfb0e88f2b7294ec3f871e0","datavalue":{"value":{"entity-type":"item","numeric-id":400795,"id":"Q400795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369703$46FBD855-44E0-4A7C-BCC2-1B41F9DD0946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53d18de0302c7095668f6fb0ebd7f3342db59a1a","datavalue":{"value":{"entity-type":"item","numeric-id":975445,"id":"Q975445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369703$887F806A-E602-412C-8EA1-00A27C2091A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b3da8dd9178cfdb3d0fd0d142e8400a70ab1854","datavalue":{"value":{"entity-type":"item","numeric-id":2369702,"id":"Q2369702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369703$A87C900B-9F3C-4BD5-8812-21A05A172D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca84af0ff41559c07873107254150c1548079df7","datavalue":{"value":{"entity-type":"item","numeric-id":1673225,"id":"Q1673225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369703$0AA45CAA-4A02-4539-8884-FA9A915B5B83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5cca04c8ee62fe50f03a25f0a32af477a0360c7b","datavalue":{"value":{"entity-type":"item","numeric-id":815650,"id":"Q815650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369703$4EB5F4B0-1F94-4590-94E8-0EE9D0023D48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0fd17e02b7903575abfa982c59ed964483c43dc","datavalue":{"value":{"time":"+2006-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2369703$A6F7D610-DB1D-4711-9F6A-2ACE7AD6EFEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369703$B7EAB529-6040-4EEE-9512-7D67F520822D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369703$025AB48F-8AC5-461A-9638-EB4F7EF8ACCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87e8d9202e9d6f84ad7bada8c756c09475c38e63","datavalue":{"value":"5025079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369703$F1E0D14D-6FFF-483B-B425-F26A721B1373","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369703$1CBE8699-90AE-42E3-84ED-F8E08D992586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42c9c64d0b9070e32b1957f7e6f3c7e8f11356c9","datavalue":{"value":"extension rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369703$234261B8-8AB2-43C7-A114-AE68B3F82AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369703$A835C610-FBE0-4DB9-BC83-2DC64A7419E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0676e164bb54b1272a233ac3d2aa0439376d3cd0","datavalue":{"value":"functional transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369703$DB4E2889-21FD-40CE-B86D-31AC8DADC739","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":"Q2369703$381A94CF-3F6A-48E3-8801-AB605F125343","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a319f744f7316066301b701d29926433cb60d20","datavalue":{"value":"https://doi.org/10.1080/10020070512331342540","type":"string"},"datatype":"url"},"type":"statement","id":"Q2369703$3C57D5D6-061D-443E-BDBA-729EF0ADE149","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0105ab3476fdc4bb7c23e0da8fbf4d960b47be4","datavalue":{"value":"W2088372138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369703$B0C29A6B-D833-4BF0-8678-C6F174074AAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b6bb9dc551ba9a220b7a51f14cd07bdd3a25b7","datavalue":{"value":{"entity-type":"item","numeric-id":3704917,"id":"Q3704917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c01d8bcd8da8f3601b64e0af400ee5c79f482993","datavalue":{"value":{"amount":"+0.7491686344146729","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":"Q2369703$4176D169-2AB1-4673-ADA5-EFA532DF8A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebb638adc3dd24baaf5bebd588c7d4ac869a9a8","datavalue":{"value":{"entity-type":"item","numeric-id":4632321,"id":"Q4632321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f85b4795550c43ee1f56ca8b7fac0d1597012a7d","datavalue":{"value":{"amount":"+0.7487260699272156","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":"Q2369703$4A6736FD-8A39-4CCD-BD6E-731CE83292D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5d6d75b21077d23e6e3f90456332e048466621","datavalue":{"value":{"entity-type":"item","numeric-id":4540938,"id":"Q4540938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ebeb6ee52e9bb46647ceb81161d8c2c83ee9b5","datavalue":{"value":{"amount":"+0.7407223582267761","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":"Q2369703$348E4219-842A-4E54-9BB8-C7B195DA3F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0907db0d905b6c81387ba2c300e96a439cf2b05","datavalue":{"value":{"entity-type":"item","numeric-id":3351355,"id":"Q3351355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fda291ef13ea91987ecd514d51279122d31f09d","datavalue":{"value":{"amount":"+0.7354928851127625","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":"Q2369703$AFDEEB94-9395-411B-9C14-8058A9C23400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abe47fca2f03c3ecc9893f9e8ad2188aa1897bd","datavalue":{"value":{"entity-type":"item","numeric-id":5955624,"id":"Q5955624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"497a696ea02c0b12505f581cd1c5f44e47094e96","datavalue":{"value":{"amount":"+0.7334550619125366","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":"Q2369703$AFF2C025-31C3-4F48-9245-044B0EBF6544","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2369703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2369703"}}}}}