{"entities":{"Q755290":{"pageid":757139,"ns":120,"title":"Item:Q755290","lastrevid":64132584,"modified":"2026-04-11T17:51:23Z","type":"item","id":"Q755290","labels":{"en":{"language":"en","value":"Two results on process logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3649976"}},"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":"Q755290$A15E633B-A5A5-4CFF-BF17-FFBC0862CF8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6b92cdaf0735f11c0f1eb9cca0c92c772c5518e","datavalue":{"value":{"text":"Two results on process logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q755290$31346850-56A3-4476-9FE1-F5F5EACCFBC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed5b4e8f4ad3af0739e1d09e82c40450e79f7bf0","datavalue":{"value":"0417.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755290$25A48927-45AE-44D4-9A8B-4598CD721BDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"953f564d9f53d1f7a2f24ec7f0c5a0f1d135d452","datavalue":{"value":"10.1016/0020-0190(79)90022-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755290$9503BFCE-3B5E-4450-8EED-06DD6204C04C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d86d555bd6cd1001c3d6ecad72fc1ab67c5fdce1","datavalue":{"value":{"entity-type":"item","numeric-id":209473,"id":"Q209473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q755290$87EF2758-E8B4-4EDF-9048-4F1E56357606","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q755290$875E8F3B-C5B2-4570-869D-68A0B5F55B1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q755290$8AA11381-2038-4769-87B9-AFEEE25553B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755290$0D86E550-010C-4B29-8DE5-0EC41C87EBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755290$18A0EFA3-3BF8-4A84-8C9A-1727276AE875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755290$A55C9C3D-9924-49AB-804F-D7EB107BB299","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"027c8007e5ad4fca76fe0a6191194d8271664ee1","datavalue":{"value":"3649976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755290$55B96FE1-3E22-46C1-AAD6-63A970157812","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01c2e9fca6f8eae5967e213326fb0359ea050d0","datavalue":{"value":"logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q755290$F351ED0D-66D3-4D81-9DC1-17BA4B1A7C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d8c0d98e5c66d33d8e4b4f2ae91fc309d9c297","datavalue":{"value":"process logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q755290$FE4C04D7-DFD3-4A53-93B6-EF6F458BF859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5206a2359ec2a279c7084b042456f0e836656036","datavalue":{"value":"verification of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q755290$B8EE5A13-7116-4CCA-98B5-B21B6E8CFDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d1a2e22a480df78cd62dc56522cf6f46ca49dfd","datavalue":{"value":"model logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q755290$191B5762-CA16-4E33-B033-DF5F415011DF","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":"Q755290$21A2E88F-25F3-4F22-BD66-74EFF7FD7C2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a4f66797168f18fafaae716e6267fa5604f73ce","datavalue":{"value":"https://doi.org/10.1016/0020-0190(79)90022-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q755290$B53AEF18-63CE-4B72-80BF-DAE3F0871BA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ba0c2f8b72e7597561a065c53160e1751b4579f","datavalue":{"value":"W2042136357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755290$B6BA63A3-571F-469F-ABBC-941D728D7017","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two results on process logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_results_on_process_logic"}}}}}