{"entities":{"Q5049021":{"pageid":7078598,"ns":120,"title":"Item:Q5049021","lastrevid":37455617,"modified":"2024-07-30T17:38:18Z","type":"item","id":"Q5049021","labels":{"en":{"language":"en","value":"mu-term: Verify Termination Properties Automatically (System Description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614689"}},"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":"Q5049021$97A5456B-AE13-4BAC-B4E6-8AC807692B92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"333996db22c40a025f28197981370c12a2f92eb5","datavalue":{"value":{"text":"mu-term: Verify Termination Properties Automatically (System Description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5049021$D4C123BE-CB49-462F-90B4-D29CDE5AB8E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42aeb86932c5492b162aed80be4886191fa3b4ae","datavalue":{"value":"10.1007/978-3-030-51054-1_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049021$C783F2B6-9A70-4964-BF22-4791266002CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1c19588ca8ef1febcc87270db917e5f47cf5704","datavalue":{"value":{"entity-type":"item","numeric-id":989289,"id":"Q989289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$CDF72D74-A84D-4387-8896-DB6B55CEFFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c863fa396706b2f00b0e4efd36ab68137f900a","datavalue":{"value":{"entity-type":"item","numeric-id":293292,"id":"Q293292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$6DBCC9CD-03F0-4260-9CE0-AB7B3EF9B9B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$81E17F97-E568-42B8-9595-74FA1D3665B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-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":"Q5049021$5BFC9778-874D-4DF9-A90E-B9B0BEDB74F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049021$1435B2FC-4F9A-42BB-A3EE-8159A2E4F834","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6676a10aa5053f0df0070bc321f5d009d18f952","datavalue":{"value":"7614689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049021$F278B28C-8550-46F0-94D4-54530595DA3C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$A53C81E6-843D-421E-B7FE-AAD60A6D566C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$6DB32DD3-5378-4090-88E6-65F1EDDC29D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$15EBE500-D5BA-4187-845C-A4E935EF7E92","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":"Q5049021$48998222-9373-4AB9-BE49-D2477FA1B657","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3016cf956ba39ae1cb58e1403df6669a015562a","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51054-1_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q5049021$DDE7D76E-DF57-4AD5-A537-3D1C4C1FE707","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46a87e1ca24b8d115ece108f53fe0a1da20ab285","datavalue":{"value":"W3038988094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049021$8B328ACF-57BC-46FE-9175-09B8AC79D5F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d2df175018ba9fb53d4b6342835fae98a6b39f","datavalue":{"value":{"entity-type":"item","numeric-id":5505586,"id":"Q5505586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$513DE1FD-A03B-4FA6-9194-893002F75A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b3509db28eea536b2f7f4549095c8714e80c2c","datavalue":{"value":{"entity-type":"item","numeric-id":989290,"id":"Q989290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$B2C62116-E433-469D-B873-83DE5FBFF323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12258990216ff4021b244dae9f1b968a1473efa1","datavalue":{"value":{"entity-type":"item","numeric-id":3067476,"id":"Q3067476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$D3ADB897-B912-4EEB-865B-FF31402E7A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28df93d2f1ffc0e63be30b9121b171d24a4878e3","datavalue":{"value":{"entity-type":"item","numeric-id":4933277,"id":"Q4933277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$3A02839C-62D2-4D77-BAD5-92425916F18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$FB25444F-F16E-483D-B156-C38206B0456E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$0AE3DE25-1282-4C69-A681-3232C6098417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53d3fc5ef0eaf03448b2958c7b38baf170d7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$09D126AA-CC5F-4361-8663-54F757D2C6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de155c624c0fcd2ab88abd76298f9dd081129f3","datavalue":{"value":{"entity-type":"item","numeric-id":5941753,"id":"Q5941753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$E90D6F10-E3AB-4A17-90F9-0AEC56637604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bba1bf289731f89451e9c1f31a3363b82e8f10","datavalue":{"value":{"entity-type":"item","numeric-id":5491901,"id":"Q5491901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$BDB639B3-8298-4085-8F93-95F129AFCF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b329bf10cc5a34d4fd7d10861e1d1307af8679","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$C20153E5-73BE-4F56-A4B8-62355C9125E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$65624548-94A9-492E-9833-6918E90CFB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea0ef8f73ddbf1e42d674e65e8cf0446b12a513","datavalue":{"value":{"entity-type":"item","numeric-id":2945713,"id":"Q2945713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$BFC8108C-FFAE-4D43-B2D6-5ACBC7CEC253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa0a67550b91d4a74d29e7b40c5a8f1dc5c2f5d2","datavalue":{"value":{"entity-type":"item","numeric-id":4933276,"id":"Q4933276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$15795014-1DC2-4193-B4C2-35E6B659A1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8630196765e23a48a0f7120cd525c10258da6f13","datavalue":{"value":{"entity-type":"item","numeric-id":2305421,"id":"Q2305421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$FBBD84B4-D67A-412B-AA4A-0F736A4A9A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16258d9a3a703db616d63050ff5a071f95880252","datavalue":{"value":{"entity-type":"item","numeric-id":5049020,"id":"Q5049020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$FA55E91D-BCA8-4828-B351-00A522ED994C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f993fcd9fff6be6ddd29863c05df1fec57dd43d","datavalue":{"value":{"entity-type":"item","numeric-id":4259966,"id":"Q4259966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$F7A391C2-3863-49E2-8022-998070460563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a48e8830951e39fb0f54422f9a7174d85b6eee","datavalue":{"value":{"entity-type":"item","numeric-id":1854569,"id":"Q1854569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$064DC9FD-A11F-46BF-BA08-05F09E73E750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dfe1a468bf534a00b281ff6f6e46bb3e144de76","datavalue":{"value":{"entity-type":"item","numeric-id":2289018,"id":"Q2289018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$4DF719B0-44A0-450B-B49B-4ACBAEF86522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca454fcfb674a55b9997dba52f329c49a980195","datavalue":{"value":{"entity-type":"item","numeric-id":1655487,"id":"Q1655487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$7A0822CF-5EA8-4EA0-85CD-9E52D06A1DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c040ab0353af170ee2d06c58340752789a437457","datavalue":{"value":{"entity-type":"item","numeric-id":1751429,"id":"Q1751429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$4C62AC02-B410-47A7-BEFF-65FA0B88A2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f77c9f0b209bffb78ce37325c9477c70ceaf77","datavalue":{"value":{"entity-type":"item","numeric-id":1041807,"id":"Q1041807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$EB08506B-072A-44D0-91C1-FCB5782FC9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4503ba4114e24ed9a5c364813a9872b5b85bf46d","datavalue":{"value":{"entity-type":"item","numeric-id":347382,"id":"Q347382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$EF8B1A3B-B8D6-46D1-9E8E-AD2CD6313BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae0abab94a705c39043ecd61c1a54360ab1aedae","datavalue":{"value":{"entity-type":"item","numeric-id":1635507,"id":"Q1635507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$4E9A9A05-1B22-4491-A0D6-B7F24068A1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$A25C155B-CDB0-4B1B-B431-30C76129802F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc7753b7643fec3175769499b6a4745d1f0878c6","datavalue":{"value":{"entity-type":"item","numeric-id":2956715,"id":"Q2956715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$52958312-B4F6-4C7F-B92F-F3DA38E6DC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52daa7db4d526ad28728d2a0c4c6496dadc100d2","datavalue":{"value":{"entity-type":"item","numeric-id":1332336,"id":"Q1332336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$56569294-A807-44D0-AC90-068489E3744A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf73e36acd8c530d7cd261bcfd06e8246cdcd8f","datavalue":{"value":{"entity-type":"item","numeric-id":4594226,"id":"Q4594226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049021$A33FAD06-7527-4069-B83A-7DEA26209D28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5049021","badges":[]}}}}}