{"entities":{"Q4723263":{"pageid":6752840,"ns":120,"title":"Item:Q4723263","lastrevid":49048276,"modified":"2026-01-06T12:47:44Z","type":"item","id":"Q4723263","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3997131"}},"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":"Q4723263$457D8DE7-BF49-4EB0-9096-184CB6C114BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"446e74b142eb01198e8f88a6ed3ca9d2589a0113","datavalue":{"value":"0615.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4723263$9B6DC8BD-77A2-4156-8BD5-BADE505672D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4723263$7B8259CD-096C-409E-979E-97AA0BD9B411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bf8e0a1d6097cb2f9e59b0a8db1af8f459f9de5","datavalue":{"value":{"entity-type":"item","numeric-id":1183596,"id":"Q1183596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4723263$574E0BA6-F846-49A3-A0B7-5EBB91A07499","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q4723263$919BA563-D54D-4DA4-BBED-F157CBC06B5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4723263$F6B701B7-7466-4CD9-B1DE-242043367F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4723263$DFEEB097-4BE2-4C8B-8BA3-E584CED6DEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4723263$2CBCBC3A-C6F6-47A8-81ED-54BC72C8469D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb3938d1794bfcd036a81d8fcde56e3f3ff83901","datavalue":{"value":"3997131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4723263$6A859BCB-0D5C-4501-9DB2-27B17B007199","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84d0d50189fb562686511908481462c9a90689c0","datavalue":{"value":"logical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$470B2C3D-5A84-4ACA-8D70-51E8DB32486A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$AA927AB6-8632-4FA1-8E51-D7EFC52BF8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0081d23dd68acae767a7f1d59687b00f593ba495","datavalue":{"value":"programming-in-the-large","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$1F6062D5-193F-45F5-A8BE-FCEF46B02D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54de1b25640cd841b2e5d88b83c416033838003","datavalue":{"value":"Clear specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$2CCB8CB9-142B-4990-B805-DD1A859F7003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"294f0b6d3e9a51f7e10c95a8ae5ec9a76d247d87","datavalue":{"value":"generic modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$D1DC08CE-E9DC-4D83-BC2C-A6A146F516A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b68f980a0a2c245c44bb74964328f0b470cc0f39","datavalue":{"value":"module hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$4128E514-BF34-4D9B-A3A5-F845FCA9629E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e00becea862aed6aa9ab04304a96b21116cbce9","datavalue":{"value":"data constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$B62882E4-8C6A-4FE9-8C6A-466B27966C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302a42c8a61d3660ede2f3a51c558b802f2a3aae","datavalue":{"value":"data abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$1C845601-538C-4ABC-8C9F-7EA775965746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d873a1d4d05cb79d90b13271e3f58ea19f26e91","datavalue":{"value":"signatures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$B997F905-6C96-4A04-A5D0-B06422335131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"378cf3d29f3f8b1f88d479e3f725cd6c55aff9a6","datavalue":{"value":"\\(\\Sigma \\)-sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$8A938EEE-F53F-48C4-8999-A1721E86A76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593c5c53423fb969f7453af0128304bc9edc716d","datavalue":{"value":"\\(\\Sigma \\)-models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$D031CAE7-B9DC-41EF-8D99-2BD50AF15C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62fca8c7d88c6e00bd26dfa6af420bac7a7e34af","datavalue":{"value":"\\(\\Sigma \\)-satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$7037E34F-C05A-4603-8C5A-6F71A738DD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76ec4c3ca5ea2786bb74ab23a71c3207f2b5eb0","datavalue":{"value":"truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$4ECB82ED-FC07-4C88-8044-4566EAB78178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35176ac9662f2b60f542675e42384c72f09eca04","datavalue":{"value":"notation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$6FD57194-5281-4C0D-ACAF-1A4809031CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58c0cd9f7abe1121af4c5df0785b5c1e6ffbf75f","datavalue":{"value":"sentence morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$ACFEC13F-FBDD-47E4-A7DB-45FF421D25D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6860731d94b348d751ca5edf2b185c367fb3ef21","datavalue":{"value":"model proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$52248895-36EC-4AC1-B883-C416BAD4E4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df23db21db38fd5aeb6e7db430cd5b155156abd5","datavalue":{"value":"logical programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$55CD0F35-C25C-4818-8B47-0B63FFA57D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ccf0608e811bc51fb167da16f1e1271cd7c7849","datavalue":{"value":"charter","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$C67FC545-E6AA-4DA8-9056-6C4CB38C7E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc2b8776becb57fadc17bde45d9c1ef69b72c0b6","datavalue":{"value":"Parchments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$9BF27B76-059E-44BE-B756-0CB81EA7B318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c7a0cc95b5334eac625dc7b3d1b26775f1334a6","datavalue":{"value":"sentential syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$02695D71-7A88-497A-A3DD-E04D1888E431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cb1025139667ff9f6dbdd78aca411645b238aec","datavalue":{"value":"syntax of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$3655F49D-B9A9-4767-92A3-730C2CBCDE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f17ea1aaf292843045de6c8e0fba1afa1d6af9c","datavalue":{"value":"initial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$A7FCD580-152B-4677-BACD-DF346124F707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2253ae3eb6bf034ebc7b74ed7326af5d5ff306fc","datavalue":{"value":"many-sorted equational institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$D2D47AF4-6C38-4E63-A0D3-E0B6A57C00EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"599a9941c9ecf114ee1fe97bd1b2366181dca56b","datavalue":{"value":"galleries","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723263$26BB18A1-D1FE-4336-96BA-F234651507B8","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":"Q4723263$52C7CB05-5D20-43FE-BF68-B644B81C51C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d2a2320a9044182b64a06707cdc92100ce6b0e","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16aefb4cbfe50422ecba4af7be4de4216a7adef0","datavalue":{"value":{"amount":"+0.892276406288147","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":"Q4723263$9384393F-C728-4DF5-B3C4-DDFF3E8E2A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7ef8f56a6f4f636da132e37b11c4fb00ad9e73","datavalue":{"value":{"entity-type":"item","numeric-id":3745248,"id":"Q3745248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6df09f715e03cddd225b58d934c0751498d838f","datavalue":{"value":{"amount":"+0.8781753778457642","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":"Q4723263$4FC48E8C-FD5E-4763-80CC-127EDF263AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81bf7a4bb1f94e8ef7a7d1c118b7dd9565d8345","datavalue":{"value":{"entity-type":"item","numeric-id":3332238,"id":"Q3332238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d58c255ae9e43426fdff1b6fb012ef5cb5ff9ab","datavalue":{"value":{"amount":"+0.8548392057418823","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":"Q4723263$D88FDF18-2987-4641-8C7E-A66023940B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d780e0003d89987bc138abea3f69d0b52710f9f","datavalue":{"value":{"entity-type":"item","numeric-id":4702594,"id":"Q4702594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea599b91a79fe57f7d34c2ea28944529309404d","datavalue":{"value":{"amount":"+0.846593976020813","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":"Q4723263$3A41F40F-06B8-465E-8F36-6E4C3CF39577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0951f06dafa16a6cf116bfd212d16c52fb5a90ec","datavalue":{"value":{"entity-type":"item","numeric-id":3776610,"id":"Q3776610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9be54a8d3e2024636cbed7abc47dc3ddee10b22","datavalue":{"value":{"amount":"+0.815176784992218","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":"Q4723263$E327C15F-6F51-4B82-8CB7-5D9988B61667","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4723263","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4723263"}}}}}