{"entities":{"Q974134":{"pageid":975982,"ns":120,"title":"Item:Q974134","lastrevid":65909949,"modified":"2026-04-12T06:11:53Z","type":"item","id":"Q974134","labels":{"en":{"language":"en","value":"A precongruence format for should testing preorder"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5712837"}},"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":"Q974134$760CC45C-314B-4AEF-9620-D347E0CC09DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"181efa7db47a7517cb93323278ea3a47fefcb686","datavalue":{"value":{"text":"A precongruence format for should testing preorder","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q974134$68408081-A244-489F-9B27-75C91F23903F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e8436a0bdcdb481960ffdfb3fdd92343feb170a","datavalue":{"value":"1208.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974134$48DBF9BE-82F3-486D-9BDE-B9AF3B3ADEF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ba20480e688f69c78e8bb35e0047634cb2927df","datavalue":{"value":{"entity-type":"item","numeric-id":846856,"id":"Q846856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$A2E54774-CC33-46F5-93B0-574212D6DB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20d38469debc0e61c34eca5eada8a50c85a6ed10","datavalue":{"value":{"entity-type":"item","numeric-id":238030,"id":"Q238030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$ABF449ED-A105-4612-A16A-0A4F7C572057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"219f0f177e56762792096dde20c426c3fbe4f8ac","datavalue":{"value":{"entity-type":"item","numeric-id":238031,"id":"Q238031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$A50ABD8A-AFDE-4037-BAC3-48CEB06183B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$88DCFEBF-AF39-4BD6-A2B7-3EF53C9BA050","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2fe2a9116b611a4e0cd03f6e91b5254a2aef5ed","datavalue":{"value":{"time":"+2010-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q974134$A4DD9A75-7AF8-46A5-A345-B11DBFA5DA3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974134$4CF46AE3-E3BA-43C2-B9A3-C91D036C973F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974134$3FAA3481-C1FC-41FC-B3DD-37D6C262833D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5b5e1cb8dc4660f7c464d89cbfd6819c02c9d36","datavalue":{"value":"5712837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974134$77B0B97D-F25B-422E-90AA-6DCE03D5CE02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c55a1c1e0b26cdf630525a67ae7203bde0167bad","datavalue":{"value":"should testing preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q974134$1115CB5C-CFAF-41B1-B02C-CFBAECCCA863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c4230f28b13792e37f00af6a391406c30ab9774","datavalue":{"value":"rule format","type":"string"},"datatype":"string"},"type":"statement","id":"Q974134$3BBC2D2F-642F-4E45-AD7D-A972B5B6357B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff101f1d1ac4b73d295a0fe2f4845b8b04895eac","datavalue":{"value":"testing theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q974134$CE541691-1528-4361-813B-2CF3CD1270AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q974134$DDB40E13-32C3-429F-9B3E-86C210E21F5A","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":"Q974134$88B1D23E-4AD0-4372-922E-95FCA6A4DC15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cc2d8667ac05f77613ef3483a0987bea4052104","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2010.03.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q974134$5DA1EE88-A2CE-4904-8DEE-A7C50F1A9762","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8eb609b2152eaf5386335ba77f38769c9b658f5","datavalue":{"value":"W2024848178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974134$B5005740-6CB1-4EAC-AD97-015A4B18BF34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$B3BCF915-AF1E-4F2A-B3EA-8788C44D976E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$A02DDB09-3927-4146-981E-5DBC03356FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5df2fb86edcc40277014fb6a7645d6ed57c553","datavalue":{"value":{"entity-type":"item","numeric-id":673123,"id":"Q673123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$3F1CE50A-6A45-457B-A70D-04033E22E51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e66c63c51508778ce501709c80be252e81c998","datavalue":{"value":{"entity-type":"item","numeric-id":5277691,"id":"Q5277691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$E6A9059A-49FB-42D1-8B5A-3F1F8EA0F28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$DB5A60AF-C353-45F6-AE6A-E730A2278B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6beb7146573df92504a1ce08ee2a606525f7208b","datavalue":{"value":{"entity-type":"item","numeric-id":865623,"id":"Q865623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$1F7ADC03-5E0F-42DD-9BD2-B94D1A240EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a5be0c101b23bfa62ae4840034b8ca646534b1","datavalue":{"value":{"entity-type":"item","numeric-id":1079949,"id":"Q1079949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$B1A31B7E-1FEF-4E2E-9B82-557D46808210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f61dbae4a30f08ddf795a4f68494f79ad4122a","datavalue":{"value":{"entity-type":"item","numeric-id":1975965,"id":"Q1975965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$D4162192-B1A5-47AB-838D-5ED102C30E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d849fb1349f204194ae932b827b64352c2f610","datavalue":{"value":{"entity-type":"item","numeric-id":3591399,"id":"Q3591399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$F4500D2A-E8E7-4C1E-AC09-337CFDD05673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e6db4c4ba4aab57d75f901fdc419b5157f0d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2852097,"id":"Q2852097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$2EC8FA98-B7EB-4D70-8FA1-6E390F4F8C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73c058e3df5c701e63f0f6d9f39f2b9e12c36e","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$1A402745-EEA0-4A29-8222-48DA4DB35F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$753020ED-4CE3-4D6D-A649-4CF6A36D8CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$AD9251FA-E001-481A-811C-6C7A9A06C299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$5C5FDB95-E3E8-4C22-B0D7-516EC67BA36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$0EEEA7EB-8F72-442C-91CE-44D8BCF1BEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e608391d5fff20267259ee8e0ce0bb8fd94bb4f5","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$56E4AA1F-A470-40CB-A514-3A13FD020F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$621A23C7-F2F9-4E3F-B232-B8CE67276A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2b6ef7829b1f1653c38a19e4d033bd8c87449f","datavalue":{"value":{"entity-type":"item","numeric-id":1575273,"id":"Q1575273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$F0A4798C-88DC-4A17-BC85-874EE23CFEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d0fcbb5e6356255f5fef09569ca437cfc21d66","datavalue":{"value":{"entity-type":"item","numeric-id":1854563,"id":"Q1854563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$8FE69DB5-C34D-4162-A40A-E42ED488861E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"659cc4778847cbdd0fc490c5711955cb07437196","datavalue":{"value":{"entity-type":"item","numeric-id":1878718,"id":"Q1878718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$D599EB8D-B266-48C1-93C9-2F0C856AAB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$F6A7AF8D-1C76-494C-B0C4-5933AE1CBB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9f988d0e8fee60fb9b3226c24217ba16f4e0db","datavalue":{"value":{"entity-type":"item","numeric-id":5395109,"id":"Q5395109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$D910E04E-E786-4CDA-974B-F0EE1682F813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f080fbe47bea1b51834e4a1171352aaa9b18ca6","datavalue":{"value":{"entity-type":"item","numeric-id":5756606,"id":"Q5756606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974134$9AEAE8DF-464D-4C55-B052-804AE6CFD583","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9820d3d1549474b1404d4f06c928400ee081b422","datavalue":{"value":"10.1016/J.JLAP.2010.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974134$4701BE15-928A-4EC5-9027-2D1A3BD02849","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7caaf91d85e0ef4b1f4769eb8a5bc387eb106c0b","datavalue":{"value":{"entity-type":"item","numeric-id":1575654,"id":"Q1575654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b195b10a33722985cb3fa51cb040296b2b351a","datavalue":{"value":{"amount":"+0.7668876647949219","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":"Q974134$78CC061E-BF3F-40E6-A45D-D6079C7B524A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6273ea68c46a14e4dbfbc8e1b1d40921760bd5dc","datavalue":{"value":{"entity-type":"item","numeric-id":865623,"id":"Q865623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e771cf452636360f7d1fcfc5cf57cbe363e92bc","datavalue":{"value":{"amount":"+0.7430275678634644","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":"Q974134$9ED3090A-05F0-469D-B747-0CECBA89E1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5688e3c7cabbcd066e5b37c923b9bc6c18ab9c58","datavalue":{"value":{"entity-type":"item","numeric-id":5277691,"id":"Q5277691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041f87e4bbf7eec278eb814c30f35d2d7171abd2","datavalue":{"value":{"amount":"+0.6936129927635193","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":"Q974134$A3845518-5FC2-43BC-8246-EED59CB68F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1718ba35b23c682b9f0af9f9203843aaa0f49a2e","datavalue":{"value":{"entity-type":"item","numeric-id":5900559,"id":"Q5900559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde5a31c415e1e85973e4e74d69874b85a8447b7","datavalue":{"value":{"amount":"+0.6905242800712585","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":"Q974134$D1A4B598-69DC-4718-BA10-06C822714B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d20fc096c3f1dce2cd518e7cd1c4246ea30fcea2","datavalue":{"value":{"entity-type":"item","numeric-id":1854314,"id":"Q1854314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64f40d89207560016483268d2d6a0b057370f2cb","datavalue":{"value":{"amount":"+0.6608696579933167","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":"Q974134$7CF8C59C-1C40-486A-A3E4-0BFE5266D574","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A precongruence format for should testing preorder","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_precongruence_format_for_should_testing_preorder"}}}}}