{"entities":{"Q314987":{"pageid":316754,"ns":120,"title":"Item:Q314987","lastrevid":60930708,"modified":"2026-04-10T20:03:51Z","type":"item","id":"Q314987","labels":{"en":{"language":"en","value":"Algebraic interpretation of a microprogram finite-state machine with datapath of transitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6628401"}},"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":"Q314987$7A9BB151-14E7-490B-B36F-FDC1FC93559B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b459387bef0430d2dd814b0c808695a43dcb98d0","datavalue":{"value":{"text":"Algebraic interpretation of a microprogram finite-state machine with datapath of transitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q314987$4485F1CE-5A1C-4E3C-8C71-1CDF766BDF2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6c811a1867f75a8853ff97e99861b959c31ece7","datavalue":{"value":"1346.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q314987$6D44A9AA-3948-4C05-85A9-FEBA5DFAA2E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddfe2612ee3f80060df696d9019e02b48e2dbabe","datavalue":{"value":{"entity-type":"item","numeric-id":314985,"id":"Q314985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314987$BC6F2ECD-21DB-4571-9081-3AED4907F7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d01d5910d7b08875be97e5a96dbcc41b779ad22","datavalue":{"value":{"entity-type":"item","numeric-id":545920,"id":"Q545920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314987$B21DCCD1-F8B8-4585-9F89-F66CF6637620","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314987$9977122C-BCF5-43D7-96EC-71F7CDBD5D35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a15316c74cc3c26bd4bdf036ebc5fdcf0b12b300","datavalue":{"value":{"time":"+2016-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q314987$3BEF10CE-257A-4328-91B7-220C5B24C4FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q314987$BB8A9477-BF0A-40CD-B282-0DB80375692B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q314987$3B034EFE-E54F-4443-8736-4FB9E0614B47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0aa0f0dbdfe15f6679cfd0156960504d87eb7df","datavalue":{"value":"6628401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q314987$654776F4-DE43-4035-A694-6461B3C4A04C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30e56d1f8d214410239f9e5770ba4be20d325200","datavalue":{"value":"microprogram finite-state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q314987$675895CE-E31C-47FE-A855-14187EB6A2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1db62643f3cff25ba46a8e3ba792a41e86fde0a1","datavalue":{"value":"datapath of transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q314987$0A4E0333-908F-4F3F-8B1C-2C2490139503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d151613ce63b84b3a226d78e05244a398d779db9","datavalue":{"value":"transition algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q314987$289B6672-B5A3-41FF-9BEA-2E9F0F4AB090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b23bd13404363b4a3c02898c0ca9c94a8c5dba8b","datavalue":{"value":"partial transition function","type":"string"},"datatype":"string"},"type":"statement","id":"Q314987$3A6C31DE-F05E-41DE-A827-D804F4038C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec3505d4a1a47ba6779c1bc97acbae985df00be0","datavalue":{"value":"isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q314987$0886FD2A-240C-4546-B671-17D0F53A1C3D","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":"Q314987$F8A21124-CECB-428C-8183-3BF30D358C2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59753cfa0b39e19c5e99d3e5feee64b84df4ab7f","datavalue":{"value":"https://doi.org/10.1007/s10559-016-9814-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q314987$85E05655-1C87-49C9-BC04-330D9F97656F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"691e19a3cac2d915ab0470820e8fc8d4178a314e","datavalue":{"value":"W2313521659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q314987$E40CD78C-CBD1-47F7-BDBA-391994A0B5AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ec0346c7c69cefc06dbbc0c0175e3cadefef3b","datavalue":{"value":{"entity-type":"item","numeric-id":3289362,"id":"Q3289362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314987$392EAC63-FED9-4B9F-95DF-84C35CEFF594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f90c277ee2b714eb9ca2ff047f260133c025e1e","datavalue":{"value":{"entity-type":"item","numeric-id":4132372,"id":"Q4132372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314987$6FA5771B-EDC5-47C7-9C69-F915F41A74E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f47d96c0633ca48279f55e7cfa9d51e5576614","datavalue":{"value":{"entity-type":"item","numeric-id":4692284,"id":"Q4692284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314987$8504BDEE-EE8D-49AB-AF88-32D3C49F746D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbb19b823dd70c34f20350c0d7916e904810360","datavalue":{"value":{"entity-type":"item","numeric-id":5628181,"id":"Q5628181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314987$78C27CC9-0E59-4106-AD02-29A70FD889E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"179fbe9d8fbb73b1d31f5104bb0691f4a6fdaeea","datavalue":{"value":{"entity-type":"item","numeric-id":3996846,"id":"Q3996846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314987$AB3DBF42-891B-4392-AF61-B7BB3BA7D3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e7c13c7631bd5a784cf1290f002be719590ca2a","datavalue":{"value":{"entity-type":"item","numeric-id":5393781,"id":"Q5393781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314987$CF57C92C-80F5-45C3-A17B-FB4EE5D9F021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb2570612346a040ee4d82d5d37b29259b05a08","datavalue":{"value":{"entity-type":"item","numeric-id":4889862,"id":"Q4889862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314987$8CDD2A9C-776A-465C-A62D-7164C4998CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"694d6d3c84e58c9e02eab9c2417bff9916e4db26","datavalue":{"value":{"entity-type":"item","numeric-id":3741058,"id":"Q3741058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314987$9AE0FBC5-F26C-4A10-8B8D-3CDC6D75A68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42575b7f30a61078cc821779d4d444df63817285","datavalue":{"value":{"entity-type":"item","numeric-id":5513015,"id":"Q5513015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314987$6DBCC57E-218B-42E7-AD13-D6DE74DC25E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de35806b005d42bcb78cee210068ee5f062c9bce","datavalue":{"value":"10.1007/S10559-016-9814-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q314987$FA2EE716-D43B-41D7-91DF-ECAFBA27C8D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45fd9b132bf802fee14613b666a24216aa544082","datavalue":{"value":{"entity-type":"item","numeric-id":2320248,"id":"Q2320248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f7d57fafdee7b2855f4313bcc64dcec4d68901","datavalue":{"value":{"amount":"+0.7351875901222229","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":"Q314987$D693BB10-A5F0-4C8E-97C2-29B4DF7C5DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10e067c52bc476ef6d735b785de423151b42deb","datavalue":{"value":{"entity-type":"item","numeric-id":2564949,"id":"Q2564949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c472a093b4776efc546974743e253358b8aaed","datavalue":{"value":{"amount":"+0.7304868102073669","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":"Q314987$0DE9BD5E-1903-4611-9F4D-4C4CE58E48FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ccf323b481844931e28d9931eeaa59281845165","datavalue":{"value":{"entity-type":"item","numeric-id":2767168,"id":"Q2767168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c472a093b4776efc546974743e253358b8aaed","datavalue":{"value":{"amount":"+0.7304868102073669","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":"Q314987$8BB186EF-9C61-449B-971B-157349797DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b71efe1c11c8c4da94017781c6a3967d5eaf889a","datavalue":{"value":{"entity-type":"item","numeric-id":1913649,"id":"Q1913649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcc702d7cf5365ee087000a8818e18ae9ce03614","datavalue":{"value":{"amount":"+0.7215493321418762","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":"Q314987$CC6B242B-D996-4488-81C1-286674DE81EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41a0745be2184f141e5b7be7215523c4103c8d58","datavalue":{"value":{"entity-type":"item","numeric-id":1795502,"id":"Q1795502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda75d346c13b82563fdfee6532e9d258fe41403","datavalue":{"value":{"amount":"+0.7178942561149597","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":"Q314987$95A7D736-CEB1-4535-9A70-9D72D7F1CF86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic interpretation of a microprogram finite-state machine with datapath of transitions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_interpretation_of_a_microprogram_finite-state_machine_with_datapath_of_transitions"}}}}}