{"entities":{"Q3811698":{"pageid":5841604,"ns":120,"title":"Item:Q3811698","lastrevid":53516897,"modified":"2026-01-25T03:19:24Z","type":"item","id":"Q3811698","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4080898"}},"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":"Q3811698$C9B8A4C0-75B6-4FA1-A35F-E5BA41F8229B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"795c13a91857cd6fd8616fc22015f2bb01ed236a","datavalue":{"value":"0661.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3811698$D7B4AB51-173D-42CC-9370-62EAFCFFCBC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d57f09c8b6166cc06b4f9cb47b781d21f3649747","datavalue":{"value":{"entity-type":"item","numeric-id":1311411,"id":"Q1311411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3811698$47ADE114-A6CF-4436-8FA7-2FF61B7EB892","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebf2f83ceb66feb8490ae2b363c9cada085a3535","datavalue":{"value":{"time":"+1992-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":"Q3811698$2A125226-D2AE-4509-9AEB-2B0614233934","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3811698$53A2E73A-607C-4889-B84C-0E49456EBAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3811698$8174EF0F-5E8D-4185-AEBD-B42F858CB332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3811698$72441FEF-5944-4EF7-8BF5-0AA190ED256F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3811698$66FDA9C2-061A-47A8-82D1-CD4911D33AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b04bd88a45e77f22f18ff67abebfcb580b5033cf","datavalue":{"value":"03H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3811698$F763334F-DDE4-42F5-A810-0D1A455B230D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"816c0d203a226835a20e6f075163771bcc195a04","datavalue":{"value":"4080898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3811698$56333C62-83FA-4986-8348-095C4377FC49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e47a1d755c4c1defd5e82877d928dde5f12a0e14","datavalue":{"value":"correctness over axiomatizable classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3811698$41F45020-5E6B-4B65-A86D-1F9C3985FE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d17a4faba13067a02facb05dad0ec64210ec5c8","datavalue":{"value":"explicit time models of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3811698$7F1BCB30-8025-43D1-B0CF-1A606B090E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9baacbe1fc95e5c10a2a6a8a736136bdcccccb80","datavalue":{"value":"Floyd-Hoare entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3811698$598E3406-F977-416C-87E2-1799F119937A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8b589384ac66b263de8aa34139fd488c1344be6","datavalue":{"value":"intensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3811698$614E6F67-9393-43F8-A867-3328695ED7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22ffdca00173ced5c1b8efb1893ae52a5dddae4","datavalue":{"value":"many-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3811698$78F63586-8F46-4D10-8521-2C09D8CEDBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b95f301c0ff95a370801c527905f4241520b0e5","datavalue":{"value":"meaningful theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3811698$C60B4380-BD57-47C9-A508-5188212D9D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b51f5daad972e3ae93b964cdcf23fb05d9be8605","datavalue":{"value":"program scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q3811698$C7CAB633-4266-4C28-A464-08E1F1C43292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34408424114b1d7f79c4cecaa20bed5d0faca616","datavalue":{"value":"nonstandard dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3811698$E47DBAE5-236B-4983-B5AE-9CC3B76748CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3811698$0665EF62-5110-4ECE-A2E6-3D05E1A0F153","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":"Q3811698$083A0856-62E7-476C-8734-941DEDE03F84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b4dbc68b06bc8ecd04f5d1802c7e4cf586f269","datavalue":{"value":{"entity-type":"item","numeric-id":1110500,"id":"Q1110500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64112217d80963183ae92f72657828dc5585e0cb","datavalue":{"value":{"amount":"+0.7770190238952637","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":"Q3811698$7C8DD365-C5EA-4056-82C0-08BF40B729C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b2e59a3f1876b90ce4d0afbef5379583249040","datavalue":{"value":{"entity-type":"item","numeric-id":1077159,"id":"Q1077159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e5e719ab02e2cb07265f4835901316c2110cb0","datavalue":{"value":{"amount":"+0.7764629125595093","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":"Q3811698$21D7961C-E623-431F-8C6C-5D2240D3DA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"462ccb45add6f04c6de72dbc62e31a4ff085e986","datavalue":{"value":{"entity-type":"item","numeric-id":3325017,"id":"Q3325017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6281a6150052bf0663904c8a5ae84d6da9810ff3","datavalue":{"value":{"amount":"+0.7733886241912842","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":"Q3811698$7358662A-D74E-4627-96B7-EBA8FF6333C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce7bdad2532f4d7df7db035258fed4015030a55","datavalue":{"value":{"entity-type":"item","numeric-id":760793,"id":"Q760793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f108f1d8c829a4fa9f950ff6eefcce811ea073a","datavalue":{"value":{"amount":"+0.766329824924469","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":"Q3811698$7E23ADCF-B98E-418D-8D2D-90487F3AE275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb5c56932ff269ab571dbc7900d427089f6827c","datavalue":{"value":{"entity-type":"item","numeric-id":5308458,"id":"Q5308458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f81a7fbfacb845e4b5e5575732588675ab8d8167","datavalue":{"value":{"amount":"+0.7615669369697571","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":"Q3811698$E65A9B8E-0AF9-4B69-8C82-9D0FB7CE3B50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3811698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3811698"}}}}}