{"entities":{"Q7411883":{"pageid":32533356,"ns":120,"title":"Item:Q7411883","lastrevid":108206658,"modified":"2026-11-03T16:43:29Z","type":"item","id":"Q7411883","labels":{"en":{"language":"en","value":"Dynamic logic of product relation changers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8277045"}},"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":"Q7411883$0EBCBA01-0D77-4D7D-8F24-6C6433F5430E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5045bbd8013981a5ac8df0d64a8e3bd87a79d05","datavalue":{"value":{"text":"Dynamic logic of product relation changers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7411883$DE3A915E-D181-46F1-90A0-144938ECBF8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d4646326ff7987aad46000c16776e338e79633c","datavalue":{"value":"10.1007/978-3-032-22626-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7411883$3FC78A4C-2EC2-419C-8696-F679CF59D5C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb85dfbed877cb7e1f914b860df1c7281dbfb7a7","datavalue":{"value":{"entity-type":"item","numeric-id":2021559,"id":"Q2021559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$9E57C272-6F97-4462-ADD7-3BBAF02DA560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b0b695847b990af89cce8c762eebe132756516d","datavalue":{"value":{"entity-type":"item","numeric-id":7411882,"id":"Q7411882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$E745363A-FED7-415F-BE38-5B3FC1A162FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de42c790bfecc7c912b4336cc05398121dc9d5b8","datavalue":{"value":{"entity-type":"item","numeric-id":497415,"id":"Q497415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$CB8B9BA8-A25A-47FF-AA1E-2707ED559726","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fea8258efc0c807aa3a84f12ebcd68838427a662","datavalue":{"value":{"time":"+2026-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7411883$3FB656BF-C0E3-44AB-839C-B988F15F9B6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7411883$73D5CD80-6380-4720-81FB-00710E4E041D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54d074ed5c482701e0ee2ade5661a1f31f2cf473","datavalue":{"value":"8277045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7411883$1B5E5B0B-EF5A-4FF6-845A-C21B0A8772E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7411883$86E4AE63-CD2A-4557-8068-1752E925B960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9b7518556276fdaffe56ad6d03c4d3e3722eff3","datavalue":{"value":"action models","type":"string"},"datatype":"string"},"type":"statement","id":"Q7411883$053FD52C-066F-4F5C-88DA-A31B0D0241A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f4c786a4acd1f4d2819e49666afa95500d18bf2","datavalue":{"value":"arrow updates","type":"string"},"datatype":"string"},"type":"statement","id":"Q7411883$035A3BB8-61AB-4E08-A9E9-910D0834F42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd5e313e80263e880026d6abaf9720c073e49601","datavalue":{"value":"relation changers","type":"string"},"datatype":"string"},"type":"statement","id":"Q7411883$C06D4734-9B84-4FEC-9FB3-C6600FA31B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e3811777128885d5143a4dd202c74d55409890d","datavalue":{"value":"recursion axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q7411883$788782A3-3E0B-4E8A-B08F-55C8EB59E21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f6ef0f3c6096986dde8386844cf3e1b4c6663fa","datavalue":{"value":"cut-free labelled sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q7411883$C5058620-F34D-4797-B4F5-A62D568B8B55","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":"Q7411883$F535D4AA-53B3-493F-AFD9-DED9BD95BED3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e157d130fe04c179cac090ecb459dfbccacb7bcc","datavalue":{"value":{"entity-type":"item","numeric-id":2711323,"id":"Q2711323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$330CDBBF-9642-49FB-A069-0DBE5755F7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e23100ee15abd5423a393a8fc786da512b3eb97","datavalue":{"value":{"entity-type":"item","numeric-id":3643256,"id":"Q3643256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$8E555013-4370-4F5D-BEC4-52103FEA214D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f7c85c9158e540c7bf3bd33b6efb83249fde9","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$B9BE82B5-F5F4-4BAC-B1F7-073CC995D0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db1dcf9c0c25547204a06cd94dd7db954d8cd69","datavalue":{"value":{"entity-type":"item","numeric-id":6967408,"id":"Q6967408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$0F260A1B-D5F3-4B93-B625-1A22BBF83832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abbe2e64519084334ef1b028962c194fae3932f","datavalue":{"value":{"entity-type":"item","numeric-id":3647268,"id":"Q3647268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$02670C5C-60E8-4CE3-AB96-ABF9C41A9D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb87030458893ce6a5226c20f4768389b71ec39c","datavalue":{"value":{"entity-type":"item","numeric-id":2751362,"id":"Q2751362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$B9E75666-7C11-4CDE-8715-8F22597BCEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b048ab2a3223d769c2e2aa80606f00a58178847f","datavalue":{"value":{"entity-type":"item","numeric-id":2216107,"id":"Q2216107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$5E56710A-44DF-4FC0-928B-F95F61749139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$31624CDA-7344-434B-823B-5686CCF93204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b2e6cc40a5d891258f11b7faf20d08e18a846e3","datavalue":{"value":{"entity-type":"item","numeric-id":2957974,"id":"Q2957974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$E04F7503-D6E9-48E1-8216-D3FCE8E801D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1746b7f2a2d51c5e1115b39f6dc3c5e33e40ab59","datavalue":{"value":{"entity-type":"item","numeric-id":1357672,"id":"Q1357672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$35056DA3-6A2D-42D3-A2A9-33F87BF927DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a52dd5efd901c03d134a2c8e963777a8229df4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5419882,"id":"Q5419882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$D1B37136-CC01-4D32-B3CF-656C7E1B9EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$3442248F-7484-4515-8B61-082DD1E5CC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2d34412cf3fd4f1e5360d1ffde2670610cfb45","datavalue":{"value":{"entity-type":"item","numeric-id":2021560,"id":"Q2021560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$AA2C45D9-18A4-45C6-B9B7-CF50F1BC81A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4108d38641b70af67736a1c1fa43dcafa3e6f3","datavalue":{"value":{"entity-type":"item","numeric-id":6189211,"id":"Q6189211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$5D721F2F-F12E-4841-9A38-ABBC69F7D70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286dba0cbc80cdd0f1ae7c26f1fba8537147aeee","datavalue":{"value":{"entity-type":"item","numeric-id":5620583,"id":"Q5620583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$79123663-37F5-470E-BB27-2DD287F1C900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34689292e5bd7eb31eccafd276a7cc2b9d5e8161","datavalue":{"value":{"entity-type":"item","numeric-id":3224046,"id":"Q3224046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$E0170C3E-BAD1-4F3F-95DA-D3103FB50405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb41d2aba39b1937469550b640dcbb0f80d1b7f2","datavalue":{"value":{"entity-type":"item","numeric-id":636214,"id":"Q636214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$15EBE4C2-7434-4716-BEEC-F918811FA6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6c54e90a0b17ae42796caebb5806b9f12f9bdc8","datavalue":{"value":{"entity-type":"item","numeric-id":6562545,"id":"Q6562545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$7ED94A53-DD22-4053-B6B1-FDA52D343020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b57336f4d647a1e62c44a460ee86033d475ff4","datavalue":{"value":{"entity-type":"item","numeric-id":3092293,"id":"Q3092293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$D735827C-29D8-4A41-BF0A-682E9D13CA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ce56931f4daaffad3de6c5c474d0f1d8732258","datavalue":{"value":{"entity-type":"item","numeric-id":4586222,"id":"Q4586222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$16A9DE91-24C7-40D2-85C1-79041D3234A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"680395284d1de2d0a8fb79f8ba75849ac7c8c8e4","datavalue":{"value":{"entity-type":"item","numeric-id":5108028,"id":"Q5108028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$08955C57-A34D-4658-BF43-CBA4105642A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5027f19b90b3a4a62ec3514bf34249266671c81d","datavalue":{"value":{"entity-type":"item","numeric-id":5213671,"id":"Q5213671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$B58190F8-43E5-44FD-B9E6-7D821AD39045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917601c08dabc79ffff24f54083ae1060b0ea824","datavalue":{"value":{"entity-type":"item","numeric-id":2419910,"id":"Q2419910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$D1056288-92A9-4897-BC1D-C2F1A78BD9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$1FEDC15D-B9E4-4E36-A553-2F5A44641C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d509c8c5854a3cec0f25f692d7266ee625cce0","datavalue":{"value":{"entity-type":"item","numeric-id":2772880,"id":"Q2772880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$981396FB-A155-460D-94A0-B3B3B9077A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa2e5599a348d5c1b79b61b21bb5b178d101a310","datavalue":{"value":{"entity-type":"item","numeric-id":484925,"id":"Q484925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$4D8C6DB1-142A-4DC2-9FE2-6FFE2D0828EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7fe0837a2f8a7880f68fa0a971d2e4b8df3ed84","datavalue":{"value":{"entity-type":"item","numeric-id":6200762,"id":"Q6200762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$AA8F5F35-F545-4CE6-9580-286B2B89FA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9f530e81e8a9a67413d21cc8d346d92affed25e","datavalue":{"value":{"entity-type":"item","numeric-id":1677430,"id":"Q1677430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411883$C1BBE2B4-A35B-4781-B16E-8EC6EFD40C88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic logic of product relation changers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dynamic_logic_of_product_relation_changers"}}}}}