{"entities":{"Q1242670":{"pageid":1253420,"ns":120,"title":"Item:Q1242670","lastrevid":68279463,"modified":"2026-04-12T22:39:00Z","type":"item","id":"Q1242670","labels":{"en":{"language":"en","value":"PASCAL in LCF: Semantics and examples of proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3574950"}},"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":"Q1242670$EAE4FF1B-4FD5-4867-B075-675AB0FB8E31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64e3dca9b71e514d9048e8d5a99e9f6d444e7998","datavalue":{"value":{"text":"PASCAL in LCF: Semantics and examples of proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1242670$73B4FEAA-2662-49C7-97EC-4EC97C072161","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f66f6384433cf7878f366c9afbaced77c7f5f4d4","datavalue":{"value":"0368.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242670$9C017F4D-AA70-4F2D-BFFC-98F95D49889A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7655bf3feca21a35db69cd7cb049b41e501dba0","datavalue":{"value":"10.1016/0304-3975(77)90004-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242670$B593F3C1-B64A-4A1B-B248-7CE3CBFDF664","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8ab48b348d6418a0a3aa65e9a78d23ab1fe4f21","datavalue":{"value":{"entity-type":"item","numeric-id":1242668,"id":"Q1242668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$029755E9-C122-4B35-8B0B-825C70D0BE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b93a1ce5ccb10f813c3a09cf8da9077a5eba6e96","datavalue":{"value":{"entity-type":"item","numeric-id":274411,"id":"Q274411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$D3EDFD86-4340-4F29-B6D5-226B1F5D642C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e2f1fd6f2929b6653b631272c22fa4df2c93bf4","datavalue":{"value":{"entity-type":"item","numeric-id":1140435,"id":"Q1140435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$2A6916A1-2CF8-416A-8F09-F1AA30A5E73B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$DAACA295-0738-434A-88D2-6B8B93726605","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q1242670$A91E19FC-4DCF-4C5F-9B35-DFEC65B488EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242670$599F3A73-F55A-40E6-9473-639F2F6D9B0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eac98cebc95b0e8015cfc3e7d031a1e0887c5c28","datavalue":{"value":"3574950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242670$ACD29ED5-63CB-4FED-B0F1-CF5CD7126611","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$D8CF1B50-31AB-4EF9-9348-92A0C3698945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$8B023875-79B1-4837-9352-C4BBCBE6AE01","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":"Q1242670$D893572A-0353-429B-AAB7-864B2402F060","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61706dd7841c64ac77f0840472231378f0fea626","datavalue":{"value":"https://doi.org/10.1016/0304-3975(77)90004-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1242670$BBB95ED4-47DD-4486-B3A3-2B7DF8092E0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"698fcae9b854c36097047dd706821ac8524ac9d2","datavalue":{"value":"W2077469145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242670$13D7EB49-67DC-425B-B9BB-45A9AC7D27EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d577241bd6a2e11307704cf15b7453f511e573aa","datavalue":{"value":{"entity-type":"item","numeric-id":4050095,"id":"Q4050095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$73B51230-079B-48B5-8CAC-AB2EF9B7CD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe07afea38d51df357f7f9334b999e3112cd3e7e","datavalue":{"value":{"entity-type":"item","numeric-id":1242670,"id":"Q1242670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$F64D37F5-1E4E-439D-AFB6-FF9988A01865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6774cbd37131750d1ee07c78dbd69094ab680ebd","datavalue":{"value":{"entity-type":"item","numeric-id":4107890,"id":"Q4107890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$555E6C52-2E56-4E49-8254-88A5A8EC8869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0843e7f8e29d84aa6b7b4f9a110eadf9b3b1959","datavalue":{"value":{"entity-type":"item","numeric-id":1134541,"id":"Q1134541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$CB8D9025-337C-4A38-9C98-EE460EA2EED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d7fbbffb912089c045d8c81135f731d526e0051","datavalue":{"value":{"entity-type":"item","numeric-id":5652185,"id":"Q5652185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$BBFB0D8C-460E-47F9-A4D2-9AA50FDA599F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec46a7633ce86d7c1e2bece78377f8d3dcdd857","datavalue":{"value":{"entity-type":"item","numeric-id":5522202,"id":"Q5522202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$135FFC0F-7D0C-4CB2-9D3C-C8EBB6CC3B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$575F2F4E-E1ED-468A-AB56-B8FCA6C636B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6247d841997830cb2cfa74d9d3a73408438bbbe8","datavalue":{"value":{"entity-type":"item","numeric-id":2264544,"id":"Q2264544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$36ACC46A-3675-48DF-9690-26E2DAFEB4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc790f619dcc224c6b465db898b211d5ca86dd4d","datavalue":{"value":{"entity-type":"item","numeric-id":4114748,"id":"Q4114748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$A251A6B2-21D4-4F83-BC5A-99D5098543AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$FBB24684-0597-4821-9234-CBE34A5D484E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5285d79fb0a54034a765cc040755038d6ec0aeb","datavalue":{"value":{"entity-type":"item","numeric-id":2560721,"id":"Q2560721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$24788E5A-999F-426F-8BE3-58AB512ED65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28430ed9b4f7a26aeb0f032922db74966365595","datavalue":{"value":{"entity-type":"item","numeric-id":1843170,"id":"Q1843170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$1C635CEC-599E-4F8C-9706-6F8006DCA34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da14109184f7efe2eaf8da66c73478cfe27a5158","datavalue":{"value":{"entity-type":"item","numeric-id":1213738,"id":"Q1213738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$5A07E359-0E3A-40F7-9EE2-F5E682E7CB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$56995934-378E-4EAB-9C8B-52A496751F7A","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":"Q1242670$5E8B45F6-9B58-4017-8131-3C6B7CBBB044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$2B2EEE75-C16F-41E5-B084-1AC661313A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d20947a907e7f21ca35001e87bc5090d6c55d8b9","datavalue":{"value":{"entity-type":"item","numeric-id":1214259,"id":"Q1214259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$FDBB2F87-C950-4738-AB13-8FF086EB955B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f99474e815e9a58af5ecf38dae1b4c7e0a14b90","datavalue":{"value":{"entity-type":"item","numeric-id":5621937,"id":"Q5621937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$C9E25D65-6489-4F93-81E1-A736DAC50A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9bcd41a0a655569809a1c0f240490166298c56","datavalue":{"value":{"entity-type":"item","numeric-id":4772698,"id":"Q4772698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$6C8538A4-B7D6-45BA-BCE2-5863BFEE9005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381491cff3b69e06c0c0e98db657501f3cc96724","datavalue":{"value":{"entity-type":"item","numeric-id":4133080,"id":"Q4133080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$05E65D4B-4B70-420E-B923-39846B911768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ab95fc01be767d90b6bae3c34156c6a4fd62a7","datavalue":{"value":{"entity-type":"item","numeric-id":4138713,"id":"Q4138713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$710779D2-0131-44BB-BC39-08B29F674FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842f71e6b1ce86df9c77df6a6bc0e68b033a0f97","datavalue":{"value":{"entity-type":"item","numeric-id":5674962,"id":"Q5674962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$13A3513C-3EF1-4FC4-873C-3ADA4B279F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed1783d4a8c14f89fb2d050437bdced0fe96268","datavalue":{"value":{"entity-type":"item","numeric-id":5723489,"id":"Q5723489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$00E12B64-D544-47DF-9BC3-E8FEF2AA418D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$58FD69B6-9006-4C92-9B37-047891519246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$F032CE03-6A43-4212-8952-D9299F1C8A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b2e4f24d0cbbeb99bfdea518dac864a70fefd8","datavalue":{"value":{"entity-type":"item","numeric-id":1566886,"id":"Q1566886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$50EFC52A-7DE3-4FC4-BDA1-3532588F88BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006f116f11bb26f196a69ffd8274b32c303697a","datavalue":{"value":{"entity-type":"item","numeric-id":4105233,"id":"Q4105233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$E926FAAA-176A-4F6A-89E5-3E2DD0394F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6a2cb106f245cd8593bbddd8c52259dcb7e15b","datavalue":{"value":{"entity-type":"item","numeric-id":1212353,"id":"Q1212353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$1113F66D-24A1-43A3-A7A6-A5381306798E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a001930126d104b8b49c0b2ec84f801eb1b908","datavalue":{"value":{"entity-type":"item","numeric-id":2542188,"id":"Q2542188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242670$9E501045-CFB9-457B-9E25-AC5B5E58F92D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PASCAL in LCF: Semantics and examples of proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PASCAL_in_LCF:_Semantics_and_examples_of_proof"}}}}}