{"entities":{"Q5403069":{"pageid":7432643,"ns":120,"title":"Item:Q5403069","lastrevid":75490705,"modified":"2026-04-19T06:20:42Z","type":"item","id":"Q5403069","labels":{"en":{"language":"en","value":"Incremental proofs of termination, confluence and sufficient completeness of OBJ specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6273792"}},"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":"Q5403069$D64A4BE1-14EB-4B96-A05B-B5B94DC2D2D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a2133497154fb2c9a4ee8cfc1965b1477284294","datavalue":{"value":{"text":"Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5403069$319C38F8-926C-41A8-937F-AB8216E6CA4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0db4d739024726524a073b21866d9f584826cec","datavalue":{"value":"1407.68312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403069$366AA49D-90ED-4521-9CBD-B653366158B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3b1c9f56ad4166d44ecac464f3edab1f8a4e111","datavalue":{"value":"10.1007/978-3-642-54624-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403069$6CB364DF-0E04-4665-96D8-A6AC16EFF6DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b1a907ecb3179b105826b3f987b799ecca7d342","datavalue":{"value":{"entity-type":"item","numeric-id":968528,"id":"Q968528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403069$6568F8A6-92C6-414B-8F5A-D2BBAE0EF2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c8b8152eb049581c2538d13b0e2ff0fba8e40b","datavalue":{"value":{"entity-type":"item","numeric-id":520242,"id":"Q520242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403069$A4035E53-972C-4CBD-8388-688BAB722708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f6f99687ff908843c429ffd48d1e31213ec62ef","datavalue":{"value":{"entity-type":"item","numeric-id":520243,"id":"Q520243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403069$BAED136F-9165-4AF9-AEA3-79004687C77E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4df2f4bc2ffe4036b415b2ee5c20621445d90244","datavalue":{"value":{"entity-type":"item","numeric-id":5403065,"id":"Q5403065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403069$094CB231-80AC-404B-8DF0-0E579ABE9BE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dffee03b61d790552fa728bec5833993c2eb4588","datavalue":{"value":{"time":"+2014-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5403069$73AF6517-1C45-47F1-A4F9-4DD06B057931","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403069$A4E4CC63-7416-467C-ACC2-31079C5C6EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403069$A57CBBC5-D3E2-430A-98A8-B32B66D576A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90930fa0a8fea1fd3a351751cec65b435aed6e0d","datavalue":{"value":"6273792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403069$B6FB4A6E-F75E-4C34-8F27-E9F1AB9CC4D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4e1e581ddaacb64b25af198d49437baacfeba9a","datavalue":{"value":"conditional term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403069$11AC4C13-E8FB-4688-83F0-064D36BE1AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403069$8C81CA78-0A1A-4F25-9FFF-6AA6F6489841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403069$1A7E9A06-E852-4EF9-8C9C-706CA92D882A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403069$9DD81AD2-3F03-4D19-9B69-72FA97B037EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20f77172978f8da45d11681f8288dd3fdf1a1985","datavalue":{"value":"sufficient completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403069$877D5FA5-3D2D-4DF6-8734-822D9DC8509E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c80f7281d6428516f3e747534256b2458b9af382","datavalue":{"value":"incremental proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403069$1A0526A8-6FFD-4170-821E-D99F82C531C5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403069$5FC7CC91-6C34-4DC2-8ED5-E265BEC7735A","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":"Q5403069$BC46D4B5-B5EA-47AE-A962-3241711DB66C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4dd18d6f7ec931b1e16d72106fb4a832b3addf12","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54624-2_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5403069$7264BB96-20F2-4AA0-B995-837CEB08C562","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14c52ab5cc64455b4145cd9e28cb9401df9d9f1f","datavalue":{"value":"W8691849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403069$58B77EEB-2B64-40C9-B6BA-7105673B6588","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ac59a5cde1ab820b7cd49159443fdf381214ea","datavalue":{"value":{"entity-type":"item","numeric-id":420848,"id":"Q420848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403069$125DBB35-6574-4058-8FEE-6A7940159A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95d48a6c0937b7ae664e8c5c8a3e254ae210365c","datavalue":{"value":{"entity-type":"item","numeric-id":1929233,"id":"Q1929233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403069$DDC397AB-1D14-4F00-9790-883794AAE2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7814c93fd14c472a24a528c1ff4a97ba1b2c10db","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403069$322A07F8-BB29-405D-8E33-B5871230DCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"469d3f149fe7aa76ce5cc9539f82502400a1f5ff","datavalue":{"value":{"entity-type":"item","numeric-id":3490927,"id":"Q3490927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403069$755BF5B0-6127-4F35-B562-1E37EDD05F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b6dd845b09766d86352775db28650377d2267f","datavalue":{"value":{"entity-type":"item","numeric-id":2641108,"id":"Q2641108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403069$BB72E5C7-EA39-4545-9EA7-C00203C9415D","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":"Q5403069$B81DFBDF-82CB-40E7-A61C-7D199F6C3365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cac010ec605c9119807506ab1b2e806f41cbeb8","datavalue":{"value":{"entity-type":"item","numeric-id":2643544,"id":"Q2643544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403069$AFB67E61-3F3F-454E-9E02-20144654E899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31297c8d5e4698c24303d4d0ce8ef9cae512bdf7","datavalue":{"value":{"entity-type":"item","numeric-id":968529,"id":"Q968529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403069$0A13AA41-B37A-4748-8610-FEB0EEB3915E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee29e8a506c504ab9034445431f767c21cf2916","datavalue":{"value":{"entity-type":"item","numeric-id":5902548,"id":"Q5902548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403069$A221F116-6B28-40AF-AA20-64A3846D5B18","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":"Q5403069$D31AC8B8-279D-4FAE-B054-5B0A131BEA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2714b062fec2412271016eb78cb55f2c42f4059d","datavalue":{"value":{"entity-type":"item","numeric-id":2583289,"id":"Q2583289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403069$B5A3D610-3011-4A2C-8D4B-2FF24315BDCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a365fff4fd2136a632bcb0b9b444718dfe9cb03f","datavalue":{"value":{"entity-type":"item","numeric-id":2469155,"id":"Q2469155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f3b1ea8fdee0dfd67cb8066da83a8f64ca4bd2e","datavalue":{"value":{"amount":"+0.7727405428886414","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":"Q5403069$4E1A9976-7F42-43F5-BC5B-5941F4702E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4d77daaa1fa03959a43d15746c90350064d5911","datavalue":{"value":{"entity-type":"item","numeric-id":2946578,"id":"Q2946578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfabca467196d4cfcf2cd5a4ab7383a9a31fdc4b","datavalue":{"value":{"amount":"+0.7570547461509705","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":"Q5403069$597AD80E-D9F8-42A3-872B-6B7A21F0DC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db476a1c29ee3caead0e30258c270cd05024359d","datavalue":{"value":{"entity-type":"item","numeric-id":5881266,"id":"Q5881266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1880302442968306159a6d5bf1a237cc71648ac6","datavalue":{"value":{"amount":"+0.7499809265136719","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":"Q5403069$CEF11E1E-4F51-4072-AE21-5EB1DE7D2A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5a5067d68700ed12e655efc2138a3863c6afc1","datavalue":{"value":{"entity-type":"item","numeric-id":3525098,"id":"Q3525098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3402ae9648a402614857a69aad05f5e4bae2ce24","datavalue":{"value":{"amount":"+0.74881911277771","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":"Q5403069$C73FA8C8-1E6C-4C95-A857-48D523A0A801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56ce37cdcbfcc7383350983ee8324db8eca7d07d","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e35a8f3fd73093ecf335e432969049048bfbf19","datavalue":{"value":{"amount":"+0.735198438167572","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":"Q5403069$E0087FE0-026D-48E0-86D8-67EE5DBA6A62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Incremental proofs of termination, confluence and sufficient completeness of OBJ specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Incremental_proofs_of_termination,_confluence_and_sufficient_completeness_of_OBJ_specifications"}}}}}