{"entities":{"Q7254992":{"pageid":24615470,"ns":120,"title":"Item:Q7254992","lastrevid":84875231,"modified":"2026-06-02T16:46:33Z","type":"item","id":"Q7254992","labels":{"en":{"language":"en","value":"Knowledge problems in protocol analysis: extending the notion of subterm convergent"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8205305"}},"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":"Q7254992$1E0A0FFD-35C1-4EEB-96E9-4C5748EE45E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb95643901f0537af2f3692fc11e37272c4907a4","datavalue":{"value":{"text":"Knowledge problems in protocol analysis: extending the notion of subterm convergent","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7254992$5AB932CC-D61D-4738-9E4E-A726AE2B2622","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eec38b6c2c93d5c5a96b9d217886a1979b01dd1f","datavalue":{"value":"10.46298/LMCS-22(2:15)2026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7254992$972D391A-5BA1-4197-A0A4-3DDBF1D2298C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b1f9e47b42b687bc0c3548d56365a60eda9e55","datavalue":{"value":{"entity-type":"item","numeric-id":7254990,"id":"Q7254990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$F1ABF782-9718-4F9F-BFCE-A05A929A07D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487ce5cb012e9ed14c12afcd5bdf95ad97be1e05","datavalue":{"value":{"entity-type":"item","numeric-id":7254991,"id":"Q7254991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$AA5108F7-268F-486E-A0F6-4FA3723E0D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59a9b5b792b433b0fd4c9e8ab15f2bd3a7afdc05","datavalue":{"value":{"entity-type":"item","numeric-id":831916,"id":"Q831916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$41D7C40C-ED23-435C-9EE4-BB118D435B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1817945597db5f66bb78adeb001d86c0c57c8612","datavalue":{"value":{"entity-type":"item","numeric-id":831917,"id":"Q831917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$AFB0221A-372E-42FB-B036-E5AA6B78539B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d2abcbf491e57c8b4eebf23b3e8446f4e5bbb9","datavalue":{"value":{"entity-type":"item","numeric-id":831918,"id":"Q831918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$7549BB27-B267-44F5-89B4-87A730055CE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$94568880-4172-464A-8DAC-DD196804EF14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eed00f8a15e6ee04c7dcccc98e92c47d66129d07","datavalue":{"value":{"time":"+2026-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7254992$C876C7D4-F914-4984-B758-949BE07C4C0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7254992$087EC070-92AD-42C0-8CB5-2E4724C65617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7254992$364BE6A7-B5DB-4A5F-A7AF-7F59F8CE0980","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e41fe56a7bda043ddf9c3ec6f70a5c04b55f53b","datavalue":{"value":"8205305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7254992$6DFAB626-C441-4587-9D37-70D77327D482","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$D5C4177C-F848-4EF2-B4AF-1EE194A7E131","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":"Q7254992$B78D66C5-FB55-4D5B-9301-4614072D9D1B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$40EB4161-E661-4C6C-BB23-E2DE2AFD3707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$74FFE98B-F6F4-40B7-954A-D92392E6DFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"014e050330c6f78cc2afa54fb59f4581869a1a12","datavalue":{"value":{"entity-type":"item","numeric-id":683746,"id":"Q683746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$F53C022E-6FF2-4C62-89D1-AEBF2AC8E387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42fca114df9ec5600f10d0dff9392e3e63694cad","datavalue":{"value":{"entity-type":"item","numeric-id":437037,"id":"Q437037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$B624E0E3-53E2-4C04-BA1B-DBF2FF3F0745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932aba30092f9fb9508892942d04273578315bb4","datavalue":{"value":{"entity-type":"item","numeric-id":5432331,"id":"Q5432331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$BE16BC6E-832E-4745-9D1F-D4B44A0BE89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a29de92665895cbd2edf51facd584261a10193b","datavalue":{"value":{"entity-type":"item","numeric-id":2946688,"id":"Q2946688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$D636D32F-12DB-4F20-914C-00AFA121B9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56fcefab2b73b5cc1c22aee92a1840b23cd0d5e5","datavalue":{"value":{"entity-type":"item","numeric-id":2849500,"id":"Q2849500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$894B345C-EC54-4524-83AE-34D56BB9B9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8d4b01899bf050d26bf94999ee7c3edfe020b2","datavalue":{"value":{"entity-type":"item","numeric-id":5278194,"id":"Q5278194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$B48EDCDF-5ECB-477A-B956-1FB338528F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5c3063e91e866916b79f392a20b10dc9a6aa45","datavalue":{"value":{"entity-type":"item","numeric-id":437033,"id":"Q437033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$BC550C05-BAF2-4D2E-81CF-E01BA7E513D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e506e4af8108702e5b9b9b42874a27b1aa643df","datavalue":{"value":{"entity-type":"item","numeric-id":5703857,"id":"Q5703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$3D757E1C-E94B-4BDC-BD48-9751FCAB9C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c8ae04c5df7f3b7282fa7236dee3f64222d440b","datavalue":{"value":{"entity-type":"item","numeric-id":3304811,"id":"Q3304811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$078EF187-14B5-4FC9-AF66-B9AD47BFCD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c1eea7c85a2f74eb53b2ed3cf4762d17975db8e","datavalue":{"value":{"entity-type":"item","numeric-id":5472076,"id":"Q5472076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$54A47A07-8842-42FF-AEFD-364AEA39940F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2d87455a29b6c3fdea9e906bd269c499831be8","datavalue":{"value":{"entity-type":"item","numeric-id":2405240,"id":"Q2405240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$E41C9456-2232-426C-86BE-D1A783FF0843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde07a5af9c9126c9edeee597823bae300bf25b6","datavalue":{"value":{"entity-type":"item","numeric-id":1931909,"id":"Q1931909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$3115C071-4DAB-41B9-8E2D-A1B98CFF1012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bd838133c5a60065353aeeeb87e9a644089612","datavalue":{"value":{"entity-type":"item","numeric-id":6622075,"id":"Q6622075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254992$A937DF79-B110-4B3E-A352-6FC0BADC453F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Knowledge problems in protocol analysis: extending the notion of subterm convergent","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Knowledge_problems_in_protocol_analysis:_extending_the_notion_of_subterm_convergent"}}}}}