{"entities":{"Q5256340":{"pageid":7285908,"ns":120,"title":"Item:Q5256340","lastrevid":52287074,"modified":"2026-01-21T08:54:03Z","type":"item","id":"Q5256340","labels":{"en":{"language":"en","value":"Localized operational termination in general logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6448707"}},"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":"Q5256340$1E2B421B-DC88-4EDA-9D40-0EC5931DFA86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"524cc96154477be5fb5f5eb2e7b80aa9ad18a5af","datavalue":{"value":{"text":"Localized Operational Termination in General Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5256340$FC9EAE5D-4537-4864-9F32-8BAA2BB13C45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c23dd0315212164e2c684e2769296425c122c4b1","datavalue":{"value":"1453.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256340$84121B79-8D02-4D79-834D-0F5E1EA5BEAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4b6e484c870234e59e2bbfbfb6f9901a03081ea","datavalue":{"value":"10.1007/978-3-319-15545-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256340$4636F42D-1C00-4CBF-92B1-C2F70762A080","rank":"normal"}],"P16":[{"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":"Q5256340$CD353F0A-6CC3-473F-AE8B-46F2B16B6C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$AED17B3F-3970-4168-99AC-7896923F3B6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5e0fb570f569e128c7aaa0023b42f1ff2ef5c78","datavalue":{"value":{"entity-type":"item","numeric-id":5256327,"id":"Q5256327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$FA79F4F0-1399-45F9-AC53-BD363AEA36DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c80eedd2756b3c5cb35bb218ffa4134f7861c0b9","datavalue":{"value":{"time":"+2015-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5256340$E276F726-5E2F-454B-A009-BC7353DD2365","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256340$1D22FBA6-C8FC-40AC-8191-4C3F47562906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256340$D3752BBE-D97B-4AD2-9B7E-5D30A93E4C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256340$03B766D9-0787-4B14-B08E-B1ED30CDD5BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4c2ad559e4c90f210ebde68283e555e92d360ea","datavalue":{"value":"6448707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256340$6AB56CC2-9A79-4BC7-9A48-4A29D97F9929","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee3b8a7612c6bd07ae7efc09998cdfb3df1c3ceb","datavalue":{"value":"general logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5256340$2C36DDB4-1FAD-4CE7-95FB-259B57D2C41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b930226a3d323ae2711ac3a072d07f4735865b","datavalue":{"value":"operational termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5256340$B61EAE2D-DE94-46F9-BBB5-6C538476E706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5ac46422607c747e60f1c77051817e04e9baee","datavalue":{"value":"program termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5256340$3F61E7DF-C26B-4FB3-9983-03C4DBD40370","rank":"normal"}],"P1463":[{"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":"Q5256340$6AC5FE58-4000-4280-899A-ED5103475422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$4C7DCCC6-B331-4A8F-AFD6-9B5DE26ECC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a56cc10343158bc2f2228df5a7cf67c5ff4df4d1","datavalue":{"value":{"entity-type":"item","numeric-id":21762,"id":"Q21762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$D958DB97-1623-4740-B7FE-C39F3CCFCA5A","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":"Q5256340$D1514FF1-549A-442D-AC4C-0057E4815642","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55ce957fadfa0a7ee37556ae96f1b410ce4fcbab","datavalue":{"value":"https://doi.org/10.1007/978-3-319-15545-6_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5256340$71592979-FC5E-44A8-8AE4-81132DD39479","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f98deafa2173e0c7fcddfb656bcac4be63bbd60","datavalue":{"value":"W73179560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256340$0F1F2A4D-C866-4A89-9C2C-254105C797E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bfa3351503a42388588e7e96b42d9f770d66c98","datavalue":{"value":{"entity-type":"item","numeric-id":4698610,"id":"Q4698610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$B6BE63EE-36BA-4F28-A9F6-BC6DA4CDC788","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":"Q5256340$4D576A95-0A82-4281-B58F-A3A97EB98BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc9530f1f8e8a448a3a2910c849e0471cc090665","datavalue":{"value":{"entity-type":"item","numeric-id":3184725,"id":"Q3184725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$416527D1-8C39-47AC-B25E-62C70BCF37DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"993a0290c8b5d5862b3c4459907f50d914c2e0e5","datavalue":{"value":{"entity-type":"item","numeric-id":3763565,"id":"Q3763565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$4EAC2009-4F53-4064-A985-7968DED08B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a8ce26f6a8ecad29886ac6bac936510fe602ac6","datavalue":{"value":{"entity-type":"item","numeric-id":4719375,"id":"Q4719375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$333B7A7B-F89F-45E1-BD4F-1C586CCFA51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adf35d8ad10a2efeaac0d7afd81d2b3ee6efd37","datavalue":{"value":{"entity-type":"item","numeric-id":5941755,"id":"Q5941755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$79644ABF-0FBB-4436-AC10-92D43D467C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7325382818b3983a691c93f9f727900e0b03afe0","datavalue":{"value":{"entity-type":"item","numeric-id":3541712,"id":"Q3541712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$16A1D23F-5ACD-47B1-9CD3-AF6784F71534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f8ef03a702d69c585c63b326a09f44c5b6e4af","datavalue":{"value":{"entity-type":"item","numeric-id":2271899,"id":"Q2271899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$37379365-DFAE-438B-9FE6-0F8565AD5D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed57241d6fa54ae5c03b07b6d45d302fb40598f1","datavalue":{"value":{"entity-type":"item","numeric-id":2786137,"id":"Q2786137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$0C73A57F-2133-4498-9B0A-A58FEB058DE4","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":"Q5256340$1F335C4E-7276-4022-93DF-FF5E062E2A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4613a5898c3f3aac9ea48077af04511f4f2bf56c","datavalue":{"value":{"entity-type":"item","numeric-id":3527303,"id":"Q3527303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$14FE82CA-0CCF-4895-9060-728C571419AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5419da7cb60bbaa69ca1635f6f3b33c23f6705bd","datavalue":{"value":{"entity-type":"item","numeric-id":2945137,"id":"Q2945137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$761EBD87-AEAE-4E60-8F53-EC383BE1EF75","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":"Q5256340$11722718-89F1-4AA6-8FC5-C03067710094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a48cf94712d9db5fa1f83c5cc88da6cdf9bd311","datavalue":{"value":{"entity-type":"item","numeric-id":393080,"id":"Q393080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$7C3E600B-3661-4111-8875-BA7632D3B2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f166014263cbd84cbbd95272df8e1e95cd9655c","datavalue":{"value":{"entity-type":"item","numeric-id":5504590,"id":"Q5504590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$8F14C013-30FC-4E7B-80E3-FD99320E2455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5895fe8c663874ec5dc3c8cfbb2574a6b301c3","datavalue":{"value":{"entity-type":"item","numeric-id":4305628,"id":"Q4305628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$308805A7-993B-4FC7-B108-6646CED0332C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3de5dbd50053cb4da1e586fef658a0f16bbc6d2","datavalue":{"value":{"entity-type":"item","numeric-id":3558284,"id":"Q3558284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$E4567E8A-98F6-4190-9A4B-E4F1AD65E886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$ABA03037-82AC-4630-96C6-EFB962408E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44b7f189eb7f5e56515006b2399dc063811b0064","datavalue":{"value":{"entity-type":"item","numeric-id":1080652,"id":"Q1080652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$7D9DBB1B-4F01-4792-AA90-1F03B63DE97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c64aa77167c6580cd7c8c676f0c865faa32857","datavalue":{"value":{"entity-type":"item","numeric-id":4385539,"id":"Q4385539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$D35177F1-59DD-4472-82D7-CACD16EBF192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"703c38c42313d689716c7647a70e27bfc1b2255f","datavalue":{"value":{"entity-type":"item","numeric-id":1608926,"id":"Q1608926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256340$307F3A05-347A-418F-B896-9F85523FD226","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a3b2e55304de64cc5c504250900d8f5b64df38","datavalue":{"value":{"entity-type":"item","numeric-id":2827835,"id":"Q2827835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceb998865ef9b4bb8ccaa256075b63d5984c2fe7","datavalue":{"value":{"amount":"+0.8260101675987244","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":"Q5256340$6D2CA5D7-A8E2-488E-83BF-AFFFC1B20830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca9413c57927dac6f91d591d99752ff2c30cedbc","datavalue":{"value":{"entity-type":"item","numeric-id":1188722,"id":"Q1188722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c8d61442c9e19ba3f892621ce907d54c3be04ad","datavalue":{"value":{"amount":"+0.7755966782569885","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":"Q5256340$B6A16952-4B18-4270-9504-FF7B2714D7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae6f93dc8a30a562245980be0ea0fb16d675a04b","datavalue":{"value":{"entity-type":"item","numeric-id":2786137,"id":"Q2786137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"943e4fa6ea19d2b49048162ae4acd469c90f4d6b","datavalue":{"value":{"amount":"+0.7742727994918823","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":"Q5256340$3EB7DABE-9C20-4951-B298-129E54CD4EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71943bcdea22f346a14c43fed5bd7b25ffd8f241","datavalue":{"value":{"entity-type":"item","numeric-id":2303238,"id":"Q2303238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5208f6704b562b176ee9fea148305248d6a3ce","datavalue":{"value":{"amount":"+0.7684418559074402","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":"Q5256340$5DF367AB-8B4A-42D0-8224-38B6E93B892E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4658aeeec63d7e3ad22f9cc4371820983f8f2768","datavalue":{"value":{"entity-type":"item","numeric-id":3698285,"id":"Q3698285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6f4a360e677baf9090931caf79b1e3668060ce5","datavalue":{"value":{"amount":"+0.7642478346824646","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":"Q5256340$96831A32-5DF5-4BD7-B36B-847940600593","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5256340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5256340"}}}}}