{"entities":{"Q2265997":{"pageid":2276740,"ns":120,"title":"Item:Q2265997","lastrevid":71718135,"modified":"2026-04-14T00:05:25Z","type":"item","id":"Q2265997","labels":{"en":{"language":"en","value":"Mathematical foundations of software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3893122"}},"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":"Q2265997$354C822B-27B6-4561-87F7-3719460A0940","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49723426fcc49eb51dfa76778312a601ece03c3f","datavalue":{"value":{"text":"Mathematical foundations of software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2265997$6C3C342E-781C-4777-AE1A-DF1FC6525D2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cebd1b65e7b0b00ba783d691423652d91546f86b","datavalue":{"value":"0561.00021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265997$13DAF8BF-F323-49F1-8375-17C479185C9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265997$A642064E-C65B-4ED8-8A15-96B57A22F068","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q2265997$975F994A-1C60-4B92-8339-05F389101486","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"14b72c82c4bac84a3ea72a2ba456c6fe975d4f43","datavalue":{"value":"The articles of this volume will be reviewed individually under the abbreviation ''Mathematical foundations of software development, Proc. Int. Conf., Berlin 1985, Vol. 1: Colloq. Trees in algebra and programming, Lect. Notes Comput. Sci. 185''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265997$F4604006-76E5-4F0E-B3B0-4A6A5B0188BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265997$FE1ADDC1-3B96-4C81-98D0-0006B714C753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265997$FD8323AE-37BB-455D-9DC7-8D9789CF21CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d74599a3aceebf58b2ed21bf8cdba98715c666a","datavalue":{"value":"3893122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265997$3528645A-9F57-4F32-8A13-74A29E224C2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6d674fb8e65633ae0d726f1a9a5b8aa291960f3","datavalue":{"value":"Mathematical foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265997$A9451E80-70BA-4681-B1BE-81B7E7FF27B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ec2438eb0d989ec8c48188873da7325e1b9f5bf","datavalue":{"value":"Software development","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265997$15EC5E55-369F-4304-9423-F9CC44D59815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265997$F8A7C8A8-6368-48BC-8F8E-4D69EF340F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265997$0D3A7D26-BB66-4380-A611-5661DD3A8BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e94e87082d449a3b943b77268d677606bdb38b3","datavalue":{"value":"Berlin","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265997$D4248D2E-DBCD-4EC3-B548-7F8C7B986815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c68e1288888708f1cde69f467c8de81f0890a54c","datavalue":{"value":"TAPSOFT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265997$26A25989-86AB-4193-ACEC-C4E8F3930FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85413872e180f82c5b8a578e96e74f0315026938","datavalue":{"value":"Colloquium","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265997$3407187B-CC57-4D3C-9EB5-E2F6922C1A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d73370bca98b245fc04a970fd8098b8719db8ad2","datavalue":{"value":"Trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265997$3DA96E2B-7F60-4310-B770-8D189E109BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f15c95159ad2a95a93ba3d2ad93c88cf6c351743","datavalue":{"value":"Algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265997$ED1CEFCF-6725-4DC4-B5F1-F581E3F8DBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39c11b645d72aab44f88706dc65aaed7361e2cc1","datavalue":{"value":"Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265997$2E9D8929-5ECE-4535-85B3-4F3309A12309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d708a907d401cf2740a7389ef10186adc552dde","datavalue":{"value":"CAAP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265997$381493F1-DE9C-420D-850A-86846F5A5129","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":"Q2265997$F174DD22-8DCA-4E20-990F-03B1A050B947","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"460b38161c3c1517bd257ce77052cbb3ae804d31","datavalue":{"value":{"entity-type":"item","numeric-id":1084082,"id":"Q1084082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffdc02b197b9281936216861ed6507d178c4607e","datavalue":{"value":{"amount":"+0.8803561925888062","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":"Q2265997$56FE25DD-3BB7-4A64-8D7F-D5AAB18EC6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"427aef0917ae0df7cd9c364f372f7bdb24a3931d","datavalue":{"value":{"entity-type":"item","numeric-id":1084083,"id":"Q1084083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f261de9303ac0ff4974e97a12a57a13fec9e5a","datavalue":{"value":{"amount":"+0.8238450288772583","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":"Q2265997$CDEBAD93-93A6-4076-8E9F-9E197C7F9041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"928f74dfac78adc8e5a1b8367c9ce4277ae428f8","datavalue":{"value":{"entity-type":"item","numeric-id":1892701,"id":"Q1892701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57bd3fac99a72d5ac1e56f66ffaf34f609f4798b","datavalue":{"value":{"amount":"+0.8058764338493347","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":"Q2265997$000B00A0-C1E0-4412-BF72-80C9814D8669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b29ba6c2a78858c5f951165c793077540d67fad8","datavalue":{"value":{"entity-type":"item","numeric-id":3715060,"id":"Q3715060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f7117a9510d0ecd76fb1084a5def688ea90d39b","datavalue":{"value":{"amount":"+0.7941423654556274","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":"Q2265997$8F7059A2-5A92-4636-9A7B-13D47C78308A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d10202918c4fabff349f2985c481cfdb7f1dca","datavalue":{"value":{"entity-type":"item","numeric-id":1572592,"id":"Q1572592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2698ed79a1d13c537bfe1072faab159b7286a137","datavalue":{"value":{"amount":"+0.7845579981803894","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":"Q2265997$318225E5-454A-4A67-B5A2-537C4D5F5ABE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical foundations of software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_foundations_of_software_development._Proceedings_of_the_International_Joint_Conference_on_Theory_and_Practice_of_Software_Development_(TAPSOFT),_Berlin,_March_25-29,_1985._Volume_1:_Colloquium_on_Trees_in_Algebra_and_Programming_(CAAP%2785)"}}}}}