{"entities":{"Q7355848":{"pageid":31495838,"ns":120,"title":"Item:Q7355848","lastrevid":105272174,"modified":"2026-09-29T13:49:22Z","type":"item","id":"Q7355848","labels":{"en":{"language":"en","value":"A prudent logic of partial functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8260443"}},"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":"Q7355848$0F18A6D0-A2FE-42C6-9170-FB49B30E43CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4204800f96f5d2578e30e1ac4a1d4c8b15d0240","datavalue":{"value":{"text":"A prudent logic of partial functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7355848$CD405C0B-4BFE-4687-85A3-9F7D84663104","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e9d069d66753c44b0d9626e23f4e6e3cfcc21ff","datavalue":{"value":"10.1007/S10472-025-09999-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7355848$1B7B5340-5C4A-4330-8BEA-FBA5BA46EA6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc8f1847cd5d811d14979a9e1f4428aa3cd6ba39","datavalue":{"value":{"entity-type":"item","numeric-id":7355846,"id":"Q7355846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$082514EF-5F67-44B9-95DF-0804C43F7E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"039a64123499ef38d4fed035bbc53bf7360f3100","datavalue":{"value":{"entity-type":"item","numeric-id":7355847,"id":"Q7355847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$E3A488B6-70E6-4F66-9424-B85EE81BC824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83b218d9fa98ec7bd391365954ae9fba07e52dc","datavalue":{"value":{"entity-type":"item","numeric-id":598244,"id":"Q598244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$D422F42C-4172-462D-B9F9-63757E597738","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$106CB063-1EB5-4F84-A5FE-CCC2D12DFB32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94c867b43e94eda32eba2280e63b7bb3a6d65688","datavalue":{"value":{"time":"+2026-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7355848$0F849E4B-EBAD-4404-8843-B52FFFF3BC42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7355848$BF1A8F42-E51E-438C-8ECA-826E56C6D836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7355848$0AE1B899-53A1-4F08-8279-FF9E7F78DF82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e912f62f6a9a7572317f85827cd4ade459764a6","datavalue":{"value":"8260443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7355848$CF47F9EB-68D0-4237-8D97-BD148AC9EF74","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":"Q7355848$4B8CB2F8-D055-4975-B386-FD5740DF2AD0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"371cb63022c324c1d40d3fa1f6d32a80d7c47e9e","datavalue":{"value":{"entity-type":"item","numeric-id":4949916,"id":"Q4949916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$0A12A8D2-4C47-4D75-A16B-2739D200A796","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":"Q7355848$0D75B75E-CCB6-4E88-A1CF-1A24E35146E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1f320038fbfc629546499fe7dc02e4ff3438f01","datavalue":{"value":{"entity-type":"item","numeric-id":5556399,"id":"Q5556399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$01FC7349-4319-443A-BDDE-F5FBFE03D1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc672e5f9b23734cc80461d8e39de973dffb302","datavalue":{"value":{"entity-type":"item","numeric-id":4296301,"id":"Q4296301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$1B78426E-FB0C-451C-9ABF-49FAA483418D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aec62f24d20c866a516f4311fd16ad7789a2ec7","datavalue":{"value":{"entity-type":"item","numeric-id":918965,"id":"Q918965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$9ED6CA1F-83EF-4484-8486-7844119E8BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7b89d341162c391a097fee7e4bf21bb2addc4b","datavalue":{"value":{"entity-type":"item","numeric-id":5747762,"id":"Q5747762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$8FF5AFC7-7E81-4413-886B-95F8D8911E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$F28967F5-168B-4E8C-A830-A49D4252F10E","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":"Q7355848$42E3FB06-3291-418F-9254-18BDF60C4C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a27484b3a36f52d2374b568a4d4b18aa7434dbb","datavalue":{"value":{"entity-type":"item","numeric-id":4593005,"id":"Q4593005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$EC6ED8E0-FFC5-4944-89BD-8486940A6E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9adb348b2683fe12c9f772e997609272495fd8e","datavalue":{"value":{"entity-type":"item","numeric-id":5504669,"id":"Q5504669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$21415F96-8250-488A-82E0-C182B7760E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3927bed516da9ee1035a7b22e41be45b9c159444","datavalue":{"value":{"entity-type":"item","numeric-id":2900504,"id":"Q2900504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$4F8A0A30-60F8-413C-84DA-75D9F2DC15FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ac71a5746e7306137bfd4c0bd6a6afa499dd9e","datavalue":{"value":{"entity-type":"item","numeric-id":5398294,"id":"Q5398294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$7170A550-0C3C-44B5-AAC2-124E820ADED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e469695a6ccdc7d8268978ac58e95413371ff1c","datavalue":{"value":{"entity-type":"item","numeric-id":5753924,"id":"Q5753924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$354919D8-7128-4C1A-96F6-C1DAB0424AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be579222a76b44e9e788ffba13cc6075c41ee158","datavalue":{"value":{"entity-type":"item","numeric-id":6545581,"id":"Q6545581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$7646928B-7FAE-4EC8-89A8-91F83DC27CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d683afab0b5a29768598ce12ddc56a9a3d5b0a0","datavalue":{"value":{"entity-type":"item","numeric-id":4583341,"id":"Q4583341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$378C1CD3-F6B7-4D9C-BFFE-729494619C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a0f3bbb4afae14e8bd5a1ec8c4c4d4ea71faf","datavalue":{"value":{"entity-type":"item","numeric-id":2433862,"id":"Q2433862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$93F16B89-F23E-423D-8D9E-7D40C2C9AF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a2cc58e586aef5036291d7f960424df9c7c046","datavalue":{"value":{"entity-type":"item","numeric-id":1830451,"id":"Q1830451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$2F4B87D9-B6E5-4681-BE0E-7D2514F63E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d90edc3f805083f932b33818730562df6b42daf1","datavalue":{"value":{"entity-type":"item","numeric-id":6623793,"id":"Q6623793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$5EFB8492-BF8B-499C-94F6-EA17F3682468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f19fa06fd5f5f17f6780c02c0b3bc22d261679c","datavalue":{"value":{"entity-type":"item","numeric-id":568066,"id":"Q568066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$A6F1F148-11FB-438F-A137-23E20176CEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b47e427b41b4173e50108f0857c520d19a8b62","datavalue":{"value":{"entity-type":"item","numeric-id":3208629,"id":"Q3208629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$7CEE743F-4FBA-487A-BC3B-EBE79747A5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba16d3643e7f45b2a6fcdd3509fdca985c4702c9","datavalue":{"value":{"entity-type":"item","numeric-id":2589521,"id":"Q2589521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$F5C5E75C-0A28-4C89-99CA-0570D40F5984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027e4855cde125bdc1bb418924731ec6618aa622","datavalue":{"value":{"entity-type":"item","numeric-id":5191088,"id":"Q5191088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$82496C99-D614-4F08-A2E9-E0E1AF81F5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbed5b88dd4cd64a8e8afeb453049a89e14ef00e","datavalue":{"value":{"entity-type":"item","numeric-id":3563101,"id":"Q3563101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$ED623DBA-EE2A-4B20-9E38-C2C75878964F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef50919836426633d57029f1a7fd047efdb7f298","datavalue":{"value":{"entity-type":"item","numeric-id":2818028,"id":"Q2818028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$18798F07-E9DA-45B1-9734-155257E978CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59aca26d1786efe7945d486000ec6588adf243e","datavalue":{"value":{"entity-type":"item","numeric-id":2767097,"id":"Q2767097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$C93AC5BE-4F92-4C6C-92D6-2E5871698B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4118754afd2dcdc1ee0dad96a14d2a78b55da9c","datavalue":{"value":{"entity-type":"item","numeric-id":5277803,"id":"Q5277803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$13F7B17B-539E-4ED5-9350-E0D6E501ACAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a296d5968de653db0529f8303b6736f8f062015a","datavalue":{"value":{"entity-type":"item","numeric-id":5638283,"id":"Q5638283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$C8359E2C-99B8-4E76-9B4E-6BC9D932A041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d619179deec73e98daca550b5629aea20622978","datavalue":{"value":{"entity-type":"item","numeric-id":1575931,"id":"Q1575931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$11116FD0-EFBC-41A3-A82F-1D24923B823A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748a5362203b0e3c8347ebddbc722eb15910d45b","datavalue":{"value":{"entity-type":"item","numeric-id":5712312,"id":"Q5712312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$066CF23D-B5F3-4AED-AF84-5AE8696E3849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$2939E5C3-D5FB-467F-BD8E-FDBBBB7946C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6e152c75c0e6839edb883579f776c9507933635","datavalue":{"value":{"entity-type":"item","numeric-id":5425400,"id":"Q5425400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355848$06F44BB5-6815-4257-8404-A1D3C2D2B6D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A prudent logic of partial functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_prudent_logic_of_partial_functions"}}}}}