{"entities":{"Q3867151":{"pageid":5897056,"ns":120,"title":"Item:Q3867151","lastrevid":54567722,"modified":"2026-01-28T17:08:34Z","type":"item","id":"Q3867151","labels":{"en":{"language":"en","value":"Axioms for user-defined operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3669828"}},"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":"Q3867151$BE438397-5D8C-4449-A2A1-52DBCED5A52F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab79bc7e8e4bfbe46a4f3dd3808fb6ad946bf57f","datavalue":{"value":{"text":"Axioms for user-defined operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3867151$4F575B6D-D892-40D4-BD34-BDA8BC046C5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97d769ad1b8e6c4a316c8e53ecad616d137e7dfd","datavalue":{"value":"0429.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867151$FD914AC0-89EC-44E2-81F6-CB5140BBC1FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18dcc80e8fb5b0909d42b13979026a467e8367f7","datavalue":{"value":{"entity-type":"item","numeric-id":3281423,"id":"Q3281423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3867151$3751D548-5C55-4FA9-BAE4-8320BC349D7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6bbb50f7f5b3cd8a52a9219fdf89800968ce21d0","datavalue":{"value":{"entity-type":"item","numeric-id":111603,"id":"Q111603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3867151$07B40E17-C201-4D10-83B4-F3A0C59A02B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3867151$AEBDAF82-B906-406D-B2DD-D322F517C880","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867151$10A1F162-7F08-4C33-9C32-FFBE2E6B106F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7882914067f94fb14a7076c62f9450fbd02e0a3d","datavalue":{"value":"3669828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867151$6676DCB6-5F29-4A21-BC42-667614B09B11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867151$EEC89541-2302-4F0B-8BB4-F37FA134486D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34f8e0fdad262532a2b68cd7d3f21b21f983fa2a","datavalue":{"value":"user-defined operator symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867151$3489D6A5-FA1B-4314-83BD-A7062AC33CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6394bde293dc7fb578e8be474d3591bf97744f82","datavalue":{"value":"DoD language Ada","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867151$19362C5B-8E37-4130-B3C7-0ED10E6D5D2D","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":"Q3867151$DA144B07-BC27-4F72-9964-72F93D987FDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25fd8f290892a7485d06aec1ea1029a1578fe552","datavalue":{"value":"https://doi.org/10.1002/spe.4380100406","type":"string"},"datatype":"url"},"type":"statement","id":"Q3867151$64CE9B31-5894-4081-B6F7-E4F7512BAF21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ce39c014dbdcba46e71d89ee4a4a719b035a29a","datavalue":{"value":"W2097586267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867151$DA26FF21-C454-41E1-B7D1-BC7ED7D4CD8E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6be6e89b1ab79158b9f17604b3428fc2a3e7f728","datavalue":{"value":{"entity-type":"item","numeric-id":4130984,"id":"Q4130984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3867151$7A24C34E-5618-47B5-BFAF-94DDB4059826","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50663168ffacd7f536c52757d4089654521413a3","datavalue":{"value":"10.1002/SPE.4380100406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867151$26B2622E-AA83-41CA-A3FD-E94418E7A912","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3867151","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3867151"}}}}}