{"entities":{"Q5055725":{"pageid":7085302,"ns":120,"title":"Item:Q5055725","lastrevid":91919651,"modified":"2026-06-05T00:24:33Z","type":"item","id":"Q5055725","labels":{"en":{"language":"en","value":"An equational logic sampler"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631120"}},"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":"Q5055725$E0A9C2BA-623B-435E-8BD1-788005780705","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75f31b4aa48fa672799d83b1647f50fa22cfe5bd","datavalue":{"value":{"text":"An equational logic sampler","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055725$6C8DEFCF-1260-436E-8F1A-D5765CB24A00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9712c4ad6227ec7b35203ed0c7819bfce6bc777a","datavalue":{"value":"1503.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055725$9FED1316-B1ED-432A-944D-3EE4D3D3DCBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b08914453e5e98a41e5764dd5a9bc91cd193ee21","datavalue":{"value":"10.1007/3-540-51081-8_112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055725$76989EA3-15B4-4C00-8B56-0F3E0B1771D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17022a6274c604df6e6251155fd7b415ec586e8","datavalue":{"value":{"entity-type":"item","numeric-id":219079,"id":"Q219079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$E0636AA9-3B26-44CC-ADED-51DF240A019F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$689BD2B1-7B55-433C-85D2-FFC2E60143C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055725$4F871148-0644-4A31-A4AC-96627935B965","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055725$1F9E4256-01D3-4DA9-B601-9EF5436618AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055725$1C5B6D74-3D43-4BA0-AC0F-71DBEEA85D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055725$3870C9E2-D65E-4664-9F47-59D058D76258","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4af56049e8c7e018dff8ff518d7a5f528ae9e0f","datavalue":{"value":"7631120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055725$8FE4B5E3-08A9-4D41-8243-550B8F73341D","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":"Q5055725$A3E6C7E6-B49F-49FF-BFEB-0BCCDE1EBCB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"143b1c3e3487bcb219727bf2611dc998a897e4be","datavalue":{"value":"https://doi.org/10.1007/3-540-51081-8_112","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055725$BCC9419C-0090-472B-8207-B29EB3B49EA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5e6536221668f7d3bb0171d8ea33eb15dc3e44c","datavalue":{"value":"W1501789649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055725$9F1E367A-7EF6-4846-9257-96F90D71EFCB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b3fceafd3d2a12d7acfc865997c9a8e73c346a","datavalue":{"value":{"entity-type":"item","numeric-id":3262784,"id":"Q3262784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$19CDA935-25C8-4241-AAD0-159F9CEF6B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6549bce11883e783f0fb536b18e9585b448489e5","datavalue":{"value":{"entity-type":"item","numeric-id":1237798,"id":"Q1237798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$430CAC1D-15AE-4DBB-A1E0-6296DCEA125A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1a9fb58565077be3b13b4f70b9543d0d56d5eb","datavalue":{"value":{"entity-type":"item","numeric-id":3765838,"id":"Q3765838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$FDBD1AFE-7D48-4108-993F-FB87365B0FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2667fa8a46af68ddb7751b3bfadd00b53cecec88","datavalue":{"value":{"entity-type":"item","numeric-id":3832626,"id":"Q3832626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$72AD1811-ACE9-419D-854D-AEE7F52B5EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ed2635b92a0fcffe0089ab3fcfb67f37c400b","datavalue":{"value":{"entity-type":"item","numeric-id":791314,"id":"Q791314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$093FC960-9367-456D-B90D-B1DA8B06C544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e004ad7c53d1b6136d8c12b096d8cc2682099b5","datavalue":{"value":{"entity-type":"item","numeric-id":1099642,"id":"Q1099642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$A0D15F40-86E7-4651-B700-4B06DD4038E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bf14b6d29f4518dc48aa3088471073ec06a1c65","datavalue":{"value":{"entity-type":"item","numeric-id":5825667,"id":"Q5825667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$AA43CD55-4349-481A-8FE8-B0237B5BDAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"872061c4d7d25330951b78f61447ed95ccc96ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3897093,"id":"Q3897093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$D0A8B21E-C19E-4D1D-9B5F-9CCB3495125B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"349a11d618599286c335e9f43324ffef59d1a9b8","datavalue":{"value":{"entity-type":"item","numeric-id":1103414,"id":"Q1103414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$B142D4B6-4A11-47A8-ACD4-1CF8E7DEF0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65170361592d19c0543b3b841015a728cd827ef","datavalue":{"value":{"entity-type":"item","numeric-id":5595198,"id":"Q5595198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$AEDFF590-9649-4269-BC6B-EEBD6649DB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fb685d0ec4c76888281f0aa434d4d30778f4592","datavalue":{"value":{"entity-type":"item","numeric-id":2549339,"id":"Q2549339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$24477070-09C3-4E30-A438-4C17AC374193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$2B657162-A30B-4EB0-9935-C49F6BD502FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7740cfc6072b49b113f76e886af169e5536e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5515373,"id":"Q5515373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$326A50C4-E440-4B7A-8F09-832A61EE8C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf5d69aa52fcaae24bf9fa6f4126a518e85d688","datavalue":{"value":{"entity-type":"item","numeric-id":5570948,"id":"Q5570948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$2B19EE86-3FCD-4029-8052-4C17A75420AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$D0C88FB7-4519-4F10-99EE-919D218A30A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e947f4c32cdfed0e7e74613aed389a2f7554c517","datavalue":{"value":{"entity-type":"item","numeric-id":5575595,"id":"Q5575595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$AAE41660-7312-4DE2-AF48-1B88CC1BCE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3092ab559c014b8d96df8a3a3d4a7c0a61c6ee","datavalue":{"value":{"entity-type":"item","numeric-id":4170710,"id":"Q4170710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$51A6A69B-0B23-4556-8651-9E1CC6CB725F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0d2b2737588eda9c16e9b81f1a7b66724cc5e94","datavalue":{"value":{"entity-type":"item","numeric-id":3877741,"id":"Q3877741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$4E0002B6-43ED-467F-864E-E7A568F5E682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e9023d3c4e1a31d8ac9e5506f8e69240336cf2","datavalue":{"value":{"entity-type":"item","numeric-id":3926656,"id":"Q3926656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$BFADF042-42D1-4F36-9C4F-F65EA21C3FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f0e5ef95212d287b49c1d50cd19ca098e20e70","datavalue":{"value":{"entity-type":"item","numeric-id":3775604,"id":"Q3775604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$6DCDFB12-4EF3-4058-9815-9E37219ACA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$405593BC-1B85-4800-8BF7-82510DB23DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e58ddf39df0939065529d7b7b9d6f3aac9ba8d45","datavalue":{"value":{"entity-type":"item","numeric-id":4154535,"id":"Q4154535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$1C0CC46C-43C2-4D3B-B8F5-19B392D76CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9844cfcd4db547f6b8c0fbfe6cd78ea1bcf6e01","datavalue":{"value":{"entity-type":"item","numeric-id":1836679,"id":"Q1836679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$3841FEED-5B29-4F9A-BA47-5BD7569965BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e01bd225cc1eaadd4b3b359e2717f21721c442","datavalue":{"value":{"entity-type":"item","numeric-id":4040245,"id":"Q4040245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$7B5AAE85-FF45-4B21-B939-7198F482A06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b82125447ccdcd1f3a12801079352a052fc9ef6","datavalue":{"value":{"entity-type":"item","numeric-id":5727671,"id":"Q5727671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$CA4958B8-1D3F-44AC-84E0-589FD82A0F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163c74b707ec36d253ce7882db0c1a24b7006ad9","datavalue":{"value":{"entity-type":"item","numeric-id":5581661,"id":"Q5581661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$90777816-A0C5-4791-8A73-BCA490E4FC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b94063a8a46bc46e1e6575b6016b614a10cc0b4","datavalue":{"value":{"entity-type":"item","numeric-id":1236558,"id":"Q1236558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$2D5A0763-CF07-4798-9EDC-2D15C6B00291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65881ad896522be0bde3ebec0c85349a6112932a","datavalue":{"value":{"entity-type":"item","numeric-id":3932855,"id":"Q3932855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$98E9E148-F6A3-44D8-9E9A-EEDA3265B9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"657fb92c3d7a7d705c1144c81cf296c5229acbe3","datavalue":{"value":{"entity-type":"item","numeric-id":3946216,"id":"Q3946216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$E6242D49-72FB-469D-B199-D63E944C24CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89be79ddf9d0c260763ce91d894d3592a0256f92","datavalue":{"value":{"entity-type":"item","numeric-id":1063017,"id":"Q1063017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$70D4389F-B2EB-4A23-A38F-C8D451D7E42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0d226bdd5e2a936bd4172f1cd25f5f88afc091","datavalue":{"value":{"entity-type":"item","numeric-id":3743360,"id":"Q3743360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$A3380974-03A5-4F4C-B9DC-4F6B3C3E4402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$80A97BEB-F958-4272-855E-8EB895D797C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5960252cb7c2865197522909ae94c7985fef606e","datavalue":{"value":{"entity-type":"item","numeric-id":3992573,"id":"Q3992573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$DADE111A-F9CE-4BF4-A13C-9FF7B134A4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d39b5c744381b9154998e1971d2651670e0241ee","datavalue":{"value":{"entity-type":"item","numeric-id":3717106,"id":"Q3717106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$9938CB19-7585-46D8-AD3D-D07A88C89797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9604ef48a1d072ae091be88fc8054aaae48333ee","datavalue":{"value":{"entity-type":"item","numeric-id":5809228,"id":"Q5809228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$76304E80-0D01-40E7-ACC8-8A14E519D32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcd72133882a17c58daf9ef7d38a16df129f7d28","datavalue":{"value":{"entity-type":"item","numeric-id":3235343,"id":"Q3235343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$1DF45E88-8883-4BD8-9B16-6A8DAB64E119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa515d5fc450d401e63713de3ff8829ad51b2253","datavalue":{"value":{"entity-type":"item","numeric-id":1393582,"id":"Q1393582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$738262B9-1F11-455D-9E22-925324F04B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de39ac490fcd4a991895e0281defdcc51b06b14f","datavalue":{"value":{"entity-type":"item","numeric-id":4750014,"id":"Q4750014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$27C8EA4B-57BF-498E-AC4C-D5ED4A8B7BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a8b8add429fd404f9d44e614587321ad830c33","datavalue":{"value":{"entity-type":"item","numeric-id":5605221,"id":"Q5605221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$EA70BE0E-5CB7-4CE0-BA05-4D7A569F1AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d697847196f96f79649a01bc950cb9c00d23b5","datavalue":{"value":{"entity-type":"item","numeric-id":5804999,"id":"Q5804999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$68ACBAFD-871E-41D6-AB4D-A1A107D88FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219efca1161f8e71b6a787834052c138e4af0832","datavalue":{"value":{"entity-type":"item","numeric-id":4063199,"id":"Q4063199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$863FECB4-DAA8-4E04-A766-B61D50565875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bfde78f73cd4ff340b10ef5b040429cdc807915","datavalue":{"value":{"entity-type":"item","numeric-id":4075454,"id":"Q4075454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$261594A4-412B-4E44-B782-7F0C206A6131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91df823051d6f240757d3083a9ca982996b7e41a","datavalue":{"value":{"entity-type":"item","numeric-id":795856,"id":"Q795856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$5F81FEFE-A577-42BD-BDC0-CBFD802811C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15b2a2283434fa49d8b91fe8e50cb7a13f457d5","datavalue":{"value":{"entity-type":"item","numeric-id":5844609,"id":"Q5844609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$672D09AB-1BFE-4D33-8C38-E2376827BB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8739f9092383d4f5078d54b17a0a0313155a7ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4154619,"id":"Q4154619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$CC6BC85B-A916-4E27-B0F7-338CF44C4D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e67ae762227c51296538bbda84286be3a5cd8050","datavalue":{"value":{"entity-type":"item","numeric-id":1164076,"id":"Q1164076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$6B9BA447-0696-4632-BFF8-1F3A7F3B7A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abcf262905e1fc005902013061b780f86b2ef15b","datavalue":{"value":{"entity-type":"item","numeric-id":3728962,"id":"Q3728962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$08B09D1B-78B2-412F-9606-1179DF822C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902936bd2dfa950537eb0ba471067a5c57f8489d","datavalue":{"value":{"entity-type":"item","numeric-id":3658046,"id":"Q3658046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$E3F811A6-B767-44BD-96D4-6FE85C61006D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0050019cbfbdae6446eae614ff351521a06d85","datavalue":{"value":{"entity-type":"item","numeric-id":5534915,"id":"Q5534915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$8DA19906-399E-4FF7-B871-8BBED7B0C4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83a5442c083262defd6e6ece6e8ebe5149a49a8","datavalue":{"value":{"entity-type":"item","numeric-id":5570932,"id":"Q5570932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$C784BBC0-CDB7-4E96-A38C-ABA0530CA608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f5e1691cfab6362b43542a3b24999af924df8ac","datavalue":{"value":{"entity-type":"item","numeric-id":3050481,"id":"Q3050481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$678ABACD-BD33-4C82-A54A-902D93A9BDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299ac28f2fe29f8dd6723c4b9fd0c0eebb344970","datavalue":{"value":{"entity-type":"item","numeric-id":3915044,"id":"Q3915044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$0D5797C2-B82F-4BDA-AFBF-51891FDC1766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69add79f7a822458e31bb197b80ccef119cb604b","datavalue":{"value":{"entity-type":"item","numeric-id":2626603,"id":"Q2626603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$2021E6B4-A6B1-489C-9090-D098D5DE6E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e59d3bffebe161410308c3371350b75e1f26d279","datavalue":{"value":{"entity-type":"item","numeric-id":4175722,"id":"Q4175722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$D096FAE3-60AE-4BF5-8D1C-B84A4C7E8BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc3903ed6b3b73f38caeb2f53f2e93e11217ca6a","datavalue":{"value":{"entity-type":"item","numeric-id":1839249,"id":"Q1839249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$06D74444-DE0E-4772-B516-8FDEE135A19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda6ca295a7952e23408a32e3a37d165e1fac94d","datavalue":{"value":{"entity-type":"item","numeric-id":2539862,"id":"Q2539862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$FA9E3ABF-F58F-4982-B502-3B228A3FFC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e93d923d4242f5a642afb4710a839870074c7","datavalue":{"value":{"entity-type":"item","numeric-id":2536632,"id":"Q2536632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$920900C9-0343-47C8-BA2E-BED14E9FC3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c32927ab5a076883ade44f58d9df31c260d8bb","datavalue":{"value":{"entity-type":"item","numeric-id":797614,"id":"Q797614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$7918FA86-7364-4DE1-A2A1-B0F851F4ED12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b63c30abd02d9b9a7f4fa488c7d548a350a4fab6","datavalue":{"value":{"entity-type":"item","numeric-id":1237797,"id":"Q1237797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$5894CA63-0B66-4A9C-AD5C-6B88491DBAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dca1b318a814cec9e29f4be528c49bddc698b48","datavalue":{"value":{"entity-type":"item","numeric-id":1061484,"id":"Q1061484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$E829A72C-E28B-4D0A-98D5-686AEB1ACC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc4cae92879420222c1290f1d577f0f9207e044","datavalue":{"value":{"entity-type":"item","numeric-id":4123487,"id":"Q4123487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$23F36417-DB76-4063-BB68-8358436DFB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$9353C4A9-529D-4137-876C-B630E5F9A1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84339eb1b9200fd0bfaec4876ec88a12251ced16","datavalue":{"value":{"entity-type":"item","numeric-id":4919632,"id":"Q4919632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$8FF2E9AF-47EB-4385-9933-BE79CE70FAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"414a8da8e3f49dd259f5319eb52852cbcc99d052","datavalue":{"value":{"entity-type":"item","numeric-id":768811,"id":"Q768811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$338E92FD-A828-4A9C-9F43-5AF87055FD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec8875edd74561cc5d1cd17aba7a5796ac3ffcd","datavalue":{"value":{"entity-type":"item","numeric-id":3789786,"id":"Q3789786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$35AAB502-11C8-4E87-B82F-9EB21982C81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc3197f0092d6c449135bd2a319f234cb43d164a","datavalue":{"value":{"entity-type":"item","numeric-id":3801785,"id":"Q3801785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$71243240-0631-4EBD-B85C-F501FCC5978F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bb2982467b223f5d11e55df7a395bd5833e6b1a","datavalue":{"value":{"entity-type":"item","numeric-id":5582292,"id":"Q5582292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$8A45177B-D747-45F0-8DCA-F52DEBE36D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92df21491213a2132bc612ffcc27da26b7a0a5d7","datavalue":{"value":{"entity-type":"item","numeric-id":2539863,"id":"Q2539863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$BFAE1905-E6E7-49B0-B763-D0E60737BA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcbef060bff056e1b10fa6744463c9b204c7cd28","datavalue":{"value":{"entity-type":"item","numeric-id":3715045,"id":"Q3715045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$61E54328-631A-44E6-B060-AC8DAF68FADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c73a99d019745eca01f9c351ef4ff2f085e9e8","datavalue":{"value":{"entity-type":"item","numeric-id":3739181,"id":"Q3739181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$50356074-04BC-4F39-B632-3D0944D67B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d52c8023b0c03007ec2d5078545df56914d98f9","datavalue":{"value":{"entity-type":"item","numeric-id":5847174,"id":"Q5847174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$334C04DC-BC8F-4F9C-9704-D1189D906A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed2969dcdbfabc761b716bc5b090a1d4d5c71b3","datavalue":{"value":{"entity-type":"item","numeric-id":5609363,"id":"Q5609363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$D2DFBF13-7F7B-49AC-BDB5-B5DEE2B5D68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$6986183B-019B-4798-AF20-F5421D30DA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c2691d858e4397db5d79d5923363d0a30db8142","datavalue":{"value":{"entity-type":"item","numeric-id":3853703,"id":"Q3853703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$0C38E589-DAE1-4B20-BAC3-F4B1DC8186CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b432ea5902a0d9c266e860126a4e315b8071159","datavalue":{"value":{"entity-type":"item","numeric-id":4722815,"id":"Q4722815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$945FD1F7-DCA9-4DFA-B110-3BB3ED3A0434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3c7ae26c11ad1cce3c0ab208b2e46d8612bd01","datavalue":{"value":{"entity-type":"item","numeric-id":1140724,"id":"Q1140724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$CA44E1F2-0BD0-4B04-B8FA-16F8858D7F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28f8ed3affebf5ced012a96d171ae8ca3c353bd6","datavalue":{"value":{"entity-type":"item","numeric-id":3039417,"id":"Q3039417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055725$DA5F6BE8-AD6D-4E49-9E1F-DD6307F52BAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An equational logic sampler","badges":[]}}}}}