{"entities":{"Q673461":{"pageid":675310,"ns":120,"title":"Item:Q673461","lastrevid":63422823,"modified":"2026-04-11T12:59:23Z","type":"item","id":"Q673461","labels":{"en":{"language":"en","value":"Partial functions and logics: A warning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985583"}},"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":"Q673461$5677BAED-F62F-4D06-BA29-E17750E9EAE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"311eddbd0477e8f1397d841fc3e639f39b67ca31","datavalue":{"value":{"text":"Partial functions and logics: A warning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673461$09340851-B197-4F15-921E-6B92564600B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1b8fba3f9924c15c12f5b74baff29249c9fa085","datavalue":{"value":"0875.68621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673461$184CE747-B5C6-4C9C-BC0E-241527F648D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2479eb4376592633be9ed509c81a34c98553dbf1","datavalue":{"value":"10.1016/0020-0190(95)00042-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673461$9DB0EBD5-90F8-446D-B1BB-DB171F6BCB8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03146bb8e17b3d6cc14817a371f8c48ba30cf452","datavalue":{"value":{"entity-type":"item","numeric-id":624377,"id":"Q624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673461$5DD0E605-D912-41DD-9D39-0E1BA55AC8D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673461$3342F9D1-77B9-449B-AA2F-A19D591FA40D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673461$B11310DD-8429-4A6E-A421-DCA2B8CE432D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673461$3B36AB18-C7BE-45A3-BF88-AF377EF8F9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673461$41244AE7-E015-40BF-B1E7-8A1775172049","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bda2f98e09b0f94ca138ff156468956bfe9d9a53","datavalue":{"value":"985583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673461$17C9BC47-29C9-4BA6-97B6-7B74191EB492","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e44a161ba26e286cc00f505fc2c17b54142149f","datavalue":{"value":"Specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q673461$E6DD1838-39DB-4D53-AA09-673B12A10011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0991441c70d8fa144c6ed3ae0c8cdc9b88690cdb","datavalue":{"value":"Program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q673461$0C2D82E6-19C5-44F7-8D19-54EC3AD976CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52f3a6f1f7aef434e454ed450e3517a9bd39c565","datavalue":{"value":"Partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q673461$2DEA4C7B-4DD0-4C30-BCCA-5D000E70D2A7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673461$48EE67C2-4E93-4AEA-B5C6-39FDA3A08A32","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":"Q673461$2BD0EF72-0302-4639-88C0-226322CBF0E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f474b409a8f3415f67c4fa840940f857e860d83","datavalue":{"value":{"entity-type":"item","numeric-id":790610,"id":"Q790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673461$2EB06A12-8042-4917-9F40-F0D4E07BC15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba598b353df13ba5ae2c7683f441b0dc7d3ee8f","datavalue":{"value":{"entity-type":"item","numeric-id":4342079,"id":"Q4342079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673461$D8174C56-4F7A-4936-8FDD-E093E88BB41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fec93bfe72def66b65d9a4fe2e51dccc3fdab8","datavalue":{"value":{"entity-type":"item","numeric-id":3977996,"id":"Q3977996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673461$F926B237-6B5B-4376-ABA3-B8EFC903614F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d43a7f349137163fbf3bdc9176ea638979311f2","datavalue":{"value":{"entity-type":"item","numeric-id":1067768,"id":"Q1067768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673461$2D632B2E-6CEC-417A-8E13-4FEC3FE4E813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0098a5fe2361769e56c2cf3f68bbb09f228b1905","datavalue":{"value":{"entity-type":"item","numeric-id":1338893,"id":"Q1338893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673461$2DD5001D-1238-4640-97BF-FB31B485D362","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":"Q673461$3AEBCB8E-08AF-49CC-8B1A-7D1FEF1A9B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a239cbd69f526ed7163709b0c5b1fb2c80486fe8","datavalue":{"value":{"entity-type":"item","numeric-id":3977997,"id":"Q3977997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673461$28BA2C65-9DB8-4D09-B008-8AA999C95C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e83aab7d5d6eb2bec6601ce6de32b8a897892df8","datavalue":{"value":{"entity-type":"item","numeric-id":4039769,"id":"Q4039769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673461$15996B8C-00C7-45A2-9E9B-2764D6789A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd392d31c7dd8a19a43a21738c003d2bbb5049b","datavalue":{"value":{"entity-type":"item","numeric-id":1093365,"id":"Q1093365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673461$92B53C9B-666A-45B1-897C-7733710F0405","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad236e6004daac762eb8d0fb681b9d0896ee03b6","datavalue":{"value":"https://doi.org/10.1016/0020-0190(95)00042-b","type":"string"},"datatype":"url"},"type":"statement","id":"Q673461$73C5488B-CE15-4062-8F8D-FC713F201C4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcc0302da674f08d7986017374f0b22a0ded89f6","datavalue":{"value":"W1984399960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673461$0794BAB5-CD6E-4172-B2F6-1DCA83DFC2B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce4e2643c8d219f6a262b2a94612ddef7a7ab0cb","datavalue":{"value":{"entity-type":"item","numeric-id":1261311,"id":"Q1261311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec0daf1c08e4ab127761a3d7c75e32fd13ef1bce","datavalue":{"value":{"amount":"+0.7522759437561035","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":"Q673461$0A53BD45-1FA2-47DD-BCC2-0D13D5D13D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272d43b608027d1551c02fdad11d1a4ad4b18f45","datavalue":{"value":{"entity-type":"item","numeric-id":2863853,"id":"Q2863853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b0d161d905fbfae398d5144c7ca78b51fb82735","datavalue":{"value":{"amount":"+0.7492250204086304","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":"Q673461$F5AC8CAC-31A8-4AA9-8C9A-3142A618D702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2af0d8b4e7b2d46baed24deb26a7bae58ee1c4a0","datavalue":{"value":{"entity-type":"item","numeric-id":4793394,"id":"Q4793394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5470467a333d299a1809ee342bd65893226cb69","datavalue":{"value":{"amount":"+0.7335100769996643","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":"Q673461$A3439D0B-A4BF-4905-B413-CAD31EF471EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f03018ffb0078204fbf896197965deeaec28d9","datavalue":{"value":{"entity-type":"item","numeric-id":918965,"id":"Q918965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85a89b0684279ab09d2993971a68f05895d50793","datavalue":{"value":{"amount":"+0.7271062135696411","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":"Q673461$665319B5-B301-4481-B89C-66F50F67BCEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial functions and logics: A warning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_functions_and_logics:_A_warning"}}}}}